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-notice* "Loom Software Copyright University of Southern California, 1999. All rights reserved."
- *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
- concept-name
- concept-names conceptOrName
- concept-or-property
- concept-p self
- cons-or-null
- constant
- context
- 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
- 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-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-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
- 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
- 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
- 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
- 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
- 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-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
© 1998 by the University of Southern California.
All rights reserved.
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.