Loom® 4.0 Functions and Objects

Key

Class

Concept

Function

Generic Function

Macro

Measure

Property

Relation

Variable

Functions

< number1 number2

<= number1 number2

= number1 number2

> number1 number2

>= number1 number2

/= number1 number2

/ number1 number2 number3

+ number1 number2 number3

- number1 number2 number3

* number1 number2 number3

*copyright-year* 1999

*format-time-4-digit-year-p* T

*format-time-include-date-p* T

*format-time-long-date-p* NIL

*format-time-smallest-unit* :SECOND

*format-time-style* :STRING

*minimum-digits-for-concept-suffix* 4

*minimum-digits-for-instance-suffix* 5

A-Reified-Relation

accelerate-matching

ms:accleration

accleration-measure

add-to-definition conceptOrName newclause &optional name

add-type instanceOrID conceptOrName &keyword :context :kb :no-error-p

add-value instanceOrID roleOrName fillerOrID &keyword :context :kb :no-error-p

agent-time

all-inverse-role-values instanceOrName roleOrName

all-role-values instance roleOrName &keyword :dont-remove-duplicates-p :role-name :role-is-object-p

all-values

ancestor-context

ms:angle

angle-measure

archetype

ms:area

area-measure

arity

ask query &keyword :context :kb :generators :3-valued-p

background-file-name

background-package-name

badly-defined

base-unit

binary-relation

binary-tuple

built-in-documentation

call-use-loom packagename &keyword :dont-create-context-p :context-name :type-of-context :creation-policy :path-name :loom-imports

cardinality self

cardinality

cc &optional contextName

change-context contextOrName

change-kb kbname &keyword :no-checking-p

change-object self classOrName

character

characteristics

child-context

classified-instance-p self

classify-all &keyword :suppress-statistics

classify-concept conceptOrName &keyword :type

clear-context &rest arguments

clear-instance-monitors instanceOrIdentifier

clear-kb &rest arguments

clos-instance

clos-instance-p self

closed

collection

compute-conjunction-concept conjuncts

compute-value-restriction concept relation &keyword :return-a-list-p

concept

concept-name

concept-names conceptOrName

concept-or-property

concept-p self

cons-or-null

constant

context

context-p self

context-sensitive-instance

context-stack

copy-instance instance &keyword :identifier :copy-into :context :add-suffix-p

count

create identifier concept &keyword :context :kb :creation-policy :add-suffix-p :suffix-p :clos-instance-p

create-concept name type contextOrNil &keyword :dont-list-as-uninterned

create-skolem-instance identifier &keyword :type

createm identifier concept &keyword :context :kb :creation-policy :add-suffix-p :clos-instance-p

creation-policy &optional contextOrPolicy policy

current-context

current-kb

ms:data

data-measure

decelerate-matching

defaction name typesofparameters &keyword :filters :missing-method

default antecedent consequent

default-role-values

default-values

defconcept name [documentationString] &keyword is is-primitive implies constraints defaults partitions exhaustive-partitions in-partition predicate function roles indices keys mixin-classes mixin-slots annotations identifier context characteristics

defcontext contextName typeOfContext parentContexts &keyword :creation-policy :open-closed-mode :monotonic-p

define-concept &rest options

define-context name typeofcontext parentcontexts &keyword :creation-policy :open-closed-mode :monotonic-p

define-interval &rest options

define-relation &rest options

ms:define-unit unit &rest units

ms:define-unit-format measure &rest format-desc

definterval name &body definition

defkb name parentkbs &keyword :pathname :path-name :package-name :creation-policy :export-names-p

ms:defmeasure measure-name base-expr &keyword :units :format

defmethod name &rest definition

defmonitor name &keyword :when :perform :schedule :do :achieve :priority

defproduction name &keyword :when :provided :perform :schedule :do :achieve :priority

defproperty name &body definition

defreified-relation name &rest definition

defrelation name &body definition

defset name &body definition

delete-all-methods action

delete-concept conceptOrName &keyword :type :delete-merged-concepts-p

delete-method &keyword :action :title :method :error-p

delete-monitor monitorOrName &keyword :error-p

delete-production productionOrName &keyword :error-p

ms:delete-unit unit

ms:density

density-measure

descendant-context

destroy instanceorsymbol &keyword :dont-unintern-p

destroy-concept self &keyword :name

destroy-context contextOrName

destroy-ctxt ctxt

destroy-kb kbOrName

destroy-unclassified-concepts

destroym instanceorsymbol &keyword :dont-unintern-p

ms:dim<= &rest args

ms:dim< &rest args

ms:dim= &rest args

ms:dim>= &rest args

ms:dim> &rest args

ms:dim/= &rest args

ms:dim+ &rest args

ms:dim- &rest args

ms:dim/ &rest args

ms:dim* &rest args

ms:dim-eql x y

ms:dim-equalp x y

ms:dim-equal x y

ms:dim-expt dim power

ms:dim-max &rest args

ms:dim-measure n

ms:dim-min &rest args

ms:dim-number value unit

ms:dim-same-units-p x y

ms:dim-sqrt dim

ms:dim-value dn &optional unit

ms:dim-zerop dim

dimensioned-number

direct-dependents self

direct-dependents

direct-subrelations

direct-superrelations

disjoint

ms:distance

distance-measure

disable-classifier

disable-completion

disjoint-concepts-p concept1 concept2

do-instances iterationvar &body body

do-retrieve iterationvariables query &body body

documentation

domain self

domain

enable-classifier

enable-completion

exit-transaction &optional tag result

export-knowledge-base-names knowledgebaseOrName

export-names-in-context contextOrName

fadd-tuple roleOrName tuple

fadd-value instance roleOrName filler

fail &optional result

fask query &keyword :context :kb :generators :3-valued-p

fb behaviorName &optional title

fc conceptname &keyword :context :kb

fget-value ?instance roleorquotedname

fi instancesymbol &keyword :context :kb

finalize-definitions

find-action actionOrName &keyword :no-warning-p

find-all term &keyword :context :kb

find-concept conceptOrName &keyword :no-warning-p :ignore-package-p :context :kb :match

find-context contextOrName &keyword :error-p :match

find-context-of-instance instance

find-ctxt n

find-instance instanceOrName &keyword :no-warning-p :context :kb :ignore-package-p :match

find-kb knowledgebaseOrName &keyword :match

find-method actionortitle &optional title &rest no-error-p

find-monitor monitorOrName &keyword :no-warning-p

find-named-subconcepts-of-subs listofsubs

find-named-superconcepts-of-supers listofsupers

find-objects objectOrName &keyword :type :local-p :no-warning-p :ignore-package-p :context :match

find-or-create-instance instanceOrID concept

find-production productionOrName &keyword :no-warning-p

find-relation relationOrName &keyword :no-warning-p :ignore-package-p :context :kb :match

find-restriction concept relation &keyword :defined-restriction :implied-restriction

find-role-facets concept relation keywords

find-subsumers&subsumees expression &optional context

find-tbox-cycles

find-the term &keyword :context :kb

find-user-defined-subconcepts-of-subs listofsubs

find-user-defined-superconcepts-of-supers listofsupers

floating-point-number

ms:force

force-measure

forget &rest propositions

forget-all-about self &keyword :dont-unintern-p :destroy-tbox-constant-p

forget-all-about-m instanceorsymbol &keyword :dont-unintern-p

forgetm &rest propositions

fp productionname &keyword :context :kb

fr relationname &keyword :context :kb

fremove-tuple roleOrName tuple

fremove-value instance roleOrName value

ms:frequency

frequency-measure

fretrieve outputvariables query &keyword :context :kb :generators

fset-value instance roleOrName filler

fset-values instance roleOrName fillers

future

get-action actionOrName &keyword :no-error-p

get-concept conceptOrName &keyword :context :kb :no-error-p

get-context contextOrName

ms:get-derived-measures ms

get-explicitly-declared-roles conceptOrName &keyword :direct-p

get-history-limit

get-indices conceptOrName &keyword :direct-p

get-instance self &keyword :kb :error-p

get-instance self &keyword :context :kb :error-p

get-instance-role instance relation

get-instances conceptOrName &keyword :direct-p :asserted-p

get-inverse-values instanceOrID roleOrName &keyword :context :no-error-p

get-keys conceptOrName &keyword :direct-p

get-matching-instances conceptlist role/fillerspairs

get-method action title &keyword :no-error-p

get-monitor monitorOrName &keyword :no-error-p

get-name object

get-production productionOrName &keyword :no-error-p

get-relation relationOrName &keyword :context :kb :arity :no-error-p

get-role objectOrName relationOrName &keyword :no-error-p

get-role-cardinality self relation

get-role-default-values concept relation

get-role-facets conceptid relationid keywords

get-role-max-cardinality self relation

get-role-min-cardinality self relation

get-role-strict-values concept relation

get-role-types self relation &keyword :raw-p

get-role-values self relation

get-roles conceptOrInstanceOrName

get-subconcepts conceptOrName &keyword :direct-p :raw-p

get-subrelations relationOrName &keyword :direct-p :raw-p

get-superconcepts conceptOrName &keyword :direct-p :raw-p

get-superrelations relationOrName &keyword :direct-p :raw-p

get-time-point timelabel &keyword :no-error-p

get-types instanceOrName &keyword :direct-p :asserted-p :raw-p

get-value instanceOrID roleOrName &keyword :context :kb :asserted-p :direct-p :no-error-p :no-defaults-p

get-values instanceOrID roleOrName &keyword :context :kb :asserted-p :direct-p :no-error-p :no-defaults-p

get-version

get-version-string

holds-true-2

holds-true-3

holds-true-4

home-context

html-image

html-image-alt-text

html-image-alternative-text

html-image-border

html-image-height

html-image-url

html-image-width

html-print-context context &optional filename &keyword :link-to-built-in-p

identity

image-used-by

implies antecedent consequent

implies

incoherence-reason

incoherent

incoherent-concept

in-context contextname

in-kb kbname

initialize-instances

initialize-network &keyword :destroy-contexts-p :destroy-kbs-p

initialize-tasks

ms:install-dim-number-reader &keyword :permanent :dispatch :readtable :dispatch-char

instance-in-context

instance-in-knowledge-base

instance-in-match-network

instance-of

instance-of-p instance concept

instance-p self

instance-with-concepts

instance-with-dynamic-slots

instance-with-everything

instance-with-histories

instance-with-inverses

instance-with-time

instances self

instances

integer

inverse

isa

kill-task task

knowledge-base

label-time-interval label timeinterval

label-time-point label timepoint

link

link-object

list

list-context &rest arguments

list-contexts

list-depend-ons concept &keyword :all-p

list-dependents concept &keyword :all-p

list-features &keyword :dont-display-p :return-possible-features-p

list-instances

list-inverse-role-names&values instance

list-kb &rest arguments

list-knowledge-bases

list-merged-concepts &optional context

list-methods action

list-monitors &keyword :context :kb

list-productions &keyword :context :kb

list-role-names&values instance &keyword :include-computed-p

list-system-defined-concepts &optional context

list-tasks &keyword :priorities

list-tuples relation &keyword :asserted-p

list-unclassified-concepts

list-undefined-concepts &optional context

lite-instance-p self

load-kb knowledgebase &keyword :pathname :path-name

loom-thing

ms:make-dim-number &keyword :value :unit :pid

make-object classOrName &body initargs

make-slots-context-sensitive classname &rest slotlist

ms:mass

mass-measure

match-instance instance &keyword :more-specific-p

max

max-cardinality self

max-cardinality

max-restriction

max-value self

max-value

maximum self

maximum

ms:measure

measure

ms:measure-named mn &keyword :error-p

measure-object

ms:measure-p ms

ms:measuring-p dim measure

measurement-concept

member-of

member-type

members

meta-concept

meta-thing

meta-thing-p self

min

min-cardinality self

min-cardinality

min-restriction

min-value self

min-value

minimum self

minimum

monitor-instance monitorOrName instanceOrIdentifier

most-general-concepts conceptlist &keyword :destructive-p

most-specific-concepts conceptlist &keyword :destructive-p

most-specific-concepts

n-ary-tuple

loom::name loom-object

loom::name

new-ctxt parents

new-time-point &keyword :label

non-loom-thing

not-instance-of-p instance concept

number

object-name self

okbc-individual

okbc-pretty-name

okbc-slot-collection-type

open-closed-mode self

ordered-set-p concept

output-unit

parent-context

parents

parse-time time-string &keyword :start :end :error-on-mismatch :default-seconds :default-minutes :default-hours :default-day :default-month :default-year :default-zone :default-weekday

past

pb behaviorName &optional title

pc conceptname

perform actionname &keyword :returntype :undoable-p

perform-task task returnoption

pf conceptname &keyword :dont-substitute-names-p

pi CL:PI

pi instancename &keyword :assertions-only-p

po object

pop-context

ms:power

power-level &optional level

power-measure

pprint-object loomobject &optional stream

ms:pprint-measure ms0 &optional stream

pr relationname

predecessor

ms:pressure

pressure-measure

primitive

print-classifier-summary

ms:print-converted dim &rest unit-format

print-ctxt-tree

print-methods action

print-network-summary

proper-subrelations

proper-superrelations

properties

property

proposition

proposition-arguments

proposition-operator

proposition-truth-value

push-context contextOrName

qualification

quantity

query variableList expression

qv-display-leading-image

qv-display-text

qv-display-trailing-image

qv-image-border

qv-url

range self

range

relation-names relationOrName

rational-number

reification

reified-by

reifies

relation

relation-name

relation-p self

remove-from-definition conceptOrName oldclause &optional name

remove-type instanceOrID conceptOrName &keyword :context :kb :no-error-p

remove-value instanceOrID roleOrName fillerOrID &keyword :context :kb :no-error-p

rename-concept newname conceptoroldname &keyword :type

reset-features

restriction

restrictions self

restrictions

retrieve outputvariables query &keyword :context :kb :generators

ms:revolution

revolution-measure

role

role-cardinality

role-max-cardinality

role-max-value

role-min-cardinality

role-min-value

role-or-collection

role-types

role-values

roles

safe-mode &optional setting

same-as

save-context &rest arguments

save-context-items context &keyword :pathname :stream :path-name :relations :concepts :behaviors :instances :rename :rename-package :user :user-name

save-kb &rest arguments

scalar-measure

schedule actionname &keyword :undoable-p :priority

schedule-task task

scheduled-p task

scalar-measure

see-also

see-also-link

seen-from

set symbol value

set

set-concept-name concept name

set-feature

set-feature &rest features

set-features &rest features

set-history-limit timepoint

set-value instanceOrID roleOrName fillerOrID &keyword :context :kb :no-error-p

set-values instanceOrID roleOrName fillersOrIDs &keyword :context :kb :no-error-p

show-agent-time

show-progress activitytype

show-variables

single-valued

skolem &rest ids

some-role-value instance roleOrName &keyword :role-is-object-p

source-case

source-definition conceptOrName &optional name

source-role

ms:speed

speed-measure

strict-role-values

strict-values

string

subconcept-p concept1 concept2 &keyword :cant-be-equal-p

subrelations

subset

successor

sum

superrelations

symbol

symbol-or-string

tell &rest propositions

tellm &rest propositions

target-case

target-role

ms:temperature

temperature-measure

temporal-incoherent

term-implies

test-type-p instanceOrID typeOrName

the-context contextName &keyword :no-error-p

the-context

the-instance instanceName &keyword :no-error-p

the-instance

the-instance-role objectName relation

the-instance-role

the-relation relationName arity &keyword :no-error-p

the-relation

the-role objectName relation

the-role

the-role-value instance roleOrName &keyword :no-error-p :role-is-object-p

thing

ms:time

time-measure

time-add x y

time-max x y

time-min x y

time-p x

time-sub x y

time< x y

time<= x y

time= x y

time> x y

time>= x y

trace-all

transaction tag &body body

types self

types

unary-function

unary-tuple

unclassify-concept conceptOrName &keyword :type

uncomplete-concept conceptOrName &keyword :type

undefconcept &rest definition

undefrelation &rest definition

undo-task task

unit-magnitude

unit-magnitude-as

unit-unit

units

unmake-object self

unmonitor-instance monitorOrName instanceOrIdentifier

unset-feature &rest features

unset-features &rest features

unset-history-limit

untrace-all

use-loom packagename &keyword :context-name :dont-create-context-p :dont-create-knowledge-base-p :type-of-context :creation-policy :path-name :loom-imports

user-defined-p self

user-defined

value-format-string

value-restriction

value-type self

value-type

ms:volume

volume-measure

where-is-it input &keyword :partitions

why premise &keyword :triples-p

with-context contextOrName &body body

with-default-features &body body

with-feature-changes (&keyword :set :unset) &body body

with-features (&rest features) &body body

ms:with-unit-format format-desc &body body

within-context contextOrName &body body

without-productions &body body

world-time &optional time suffix

ms:work-or-torque

work-or-torque-measure

Permission is granted to reproduce this work royalty-free provided this copyright notice is preserved on all copies.

Loom is a registered trademark of the University of Southern California.