Quickguide to Loom Functions and Relations

Alphabetical Listing

Symbols A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Table of Contents

Fundamental Operations

Definitions

defaction [Macro] (name parameters &keyword filters missing-methods)
defconcept [Macro] (name &optional documentation &keyword is is-primitive implies defaults partitions exhaustive-partitions in-partition predicate function roles indices keys mixin-classes mixin-slots annotations identifier kb characteristics)
define-concept [Function] (&keyword name is is-primitive implies defaults partitions exhaustive-partitions in-partition predicate function mixin-classes mixin-slots annotations identifier kb characteristics)
define-relation [Function] (&keyword name is is-primitive implies domain domains range arity predicate function inheritance-link inheritance-method annotations identifier kb characteristics)
defkb [Macro] (name parentKbs &keyword path-name package export-names-p monotonic-p)
defmethod [Macro] (name parameters &keyword title situation with overrides response)
defproduction [Macro] (name &keyword when perform schedule do priority)
defrelation [Macro] (name &optional documentation &keyword is is-primitive implies domain domains range arity predicate function inheritance-link inheritance-method annotations identifier kb characteristics)
defset [Macro] (name &optional documentation &keyword is annotations identifier kb)

Implications

default [Macro] (antecedent consequent)
implies [Macro] (antecedent consequent)
term-implies [Relation] (concept1 concept2)

Assertions and Retractions

add-type [Function] (instance concept &keyword kb no-error-p)
add-value [Function] (instance role value &keyword kb no-error-p)
create [Function] (identifier concept &keyword kb add-suffix-p clos-instance-p)
destroy [Method] (instance &keyword dont-unintern-p)
forget [Macro] (&body propositions)
remove-type [Function] (instance concept &keyword kb no-error-p)
remove-value [Function] (instance role value &keyword kb no-error-p)
set-value [Function] (instance role value &keyword kb no-error-p)
set-values [Function] (instance role values &keyword kb no-error-p)
tell [Macro] (&body propositions)

Retrieval

ask [Macro] (query &keyword kb 3-valued-p)
concept--instances [Relation] (concept instance)
do-retrieve [Macro] (variables query &body body)
get-indices [Function] (concept &keyword direct-p)
get-instances [Function] (concept &keyword direct-p asserted-p)
get-inverse-values [Function] (instance role &keyword kb no-error-p)
get-keys [Function] (concept &keyword direct-p)
get-matching-instances [Function] (concepts roleFillers)
get-types [Function] (instance &keyword asserted-p direct-p)
get-value [Function] (instance role &keyword direct-p kb no-error-p)
get-values [Function] (instance role &keyword direct-p kb no-error-p)
list-inverse-role-names&values [Function] (instance)
list-role-names&values [Function] (instance)
list-tuples [Function] (relation)
query [Function] (variables expression)
retrieve [Macro] (variables query &keyword kb generators)
role-members [Relation] (instance relation value)

Finding an Object

fb [Macro] (behaviorOrTitle &optional title)
fc [Macro] (datum &keyword kb)
fi [Macro] (datum &keyword kb)
find-action [Function] (action &keyword no-warning-p)
find-concept [Function] (concept &keyword no-warning-p ignore-package-p kb)
find-instance [Function] (instance &keyword no-warning-p ignore-package-p kb)
find-kb [Function] (kb &keyword no-warning-p)
find-method [Macro] (actionOrTitle &optional title &rest no-error-p)
find-production [Function] (production &keyword no-warning-p)
find-relation [Function] (relation &keyword no-warning-p ignore-package-p kb)
fr [Macro] (datum &keyword kb)
get-action [Function] (action &keyword no-error-p)
get-concept [Function] (concept &keyword no-error-p kb)
get-instance [Function] (instance &keyword error-p kb)
get-method [Function] (action title &keyword no-error-p)
get-production [Function] (production &keyword no-error-p)
get-relation [Function] (relation &keyword no-error-p kb)
identifier--instance [Relation] (symbol instance)
name--concept [Relation] (symbol concept)
name--relation [Relation] (symbol relation)
where-is-it [Function] (object)

Subsumption and Instantiation

concept--instances [Relation] (concept instance)
direct-subconcepts [Relation] (concept1 concept2)
direct-superconcepts [Relation] (concept1 concept2)
find-subsumers&subsumees [Function] (expression &optional kb)
get-instances [Function] (concept &keyword direct-p asserted-p)
get-subconcepts [Function] (concept &keyword direct-p)
get-subrelations [Function] (relationOrConcept &keyword direct-p)
get-superconcepts [Function] (concept &keyword direct-p)
get-superrelations [Function] (relationOrConcept &keyword direct-p)
instance--asserted-concepts [Relation] (instance concept)
instance--cached-concepts [Relation] (instance concept)
instance--concepts [Relation] (instance concept)
instance--type [Relation] (instance concept)
isa-p [Relation] (object concept)
most-general-concepts [Function] (conceptList)
most-specific-concepts [Function] (conceptList)
subconcept-p [Macro] (concept1 concept2 &keyword cant-be-equal-p)
subconcepts [Relation] (concept1 concept2)
superconcepts [Relation] (concept1 concept2)
test-not-type-p [Function] (instance concept &keyword kb no-error-p)
test-type-p [Function] (instance concept &keyword kb no-error-p)

Programming

Control

call-use-loom [Function] (packageName &keyword dont-create-knowledge-base-p knowledge-base-name path-name loom-imports)
createm [Macro] (identifier concept &keyword kb add-suffix-p clos-instance-p)
destroym [Macro] (instance &keyword dont-unintern-p)
finalize-definitions [Function] ()
forgetm [Macro] (&body propositions)
initialize-instances [Function] ()
initialize-network [Function] (&keyword destroy-kbs-p)
initialize-tasks [Function] ()
list-features [Function] (&keyword dont-display-p)
load-loom-patches [Function] (&keyword source-if-newer-p)
new-time-point [Function] ()
power-level [Function] (&optional level)
reset-features [Function] ()
set-features [Function] (&rest features)
tellm [Macro] (&body propositions)
unset-features [Function] (&rest features)
use-loom [Macro] (packageName &keyword dont-create-knowledge-base-p knowledge-base-name path-name loom-imports)
with-default-features [Macro] (&body body)
with-feature-changes [Macro] ((set unset) &body body)
with-features [Macro] ((features) &body body)

Debugging

destroy-unclassified-concepts [Function] ()
find-definitional-cycles [Function] ()
get-version-string [Function] ()
list-depend-ons [Function] (concept &keyword all-p)
list-dependents [Function] (concept &keyword all-p)
list-merged-concepts [Function] (&optional kb)
list-system-defined-concepts [Function] (&optional kb)
list-unclassified-concepts [Function] ()
list-undefined-concepts [Function] (&optional kb)
load-loom-patches [Function] (&keyword source-if-newer-p)
pb [Macro] (behavior &optional title)
pc [Macro] (datum)
pi [Macro] (datum &keyword assertions-only-p)
po [Function] (object)
pprint-object [Function] (object &optional stream)
pr [Macro] (datum)
show [Method] (object &keyword stream)
show-all [Method] (object &keyword stream)
show-progress [Function] (activity)
trace [Macro] (&body functionNames)
trace-all [Function] ()
untrace [Macro] (&body functionNames)
untrace-all [Function] ()
where-is-it [Function] (object)
why [Macro] (premise)

Loom Objects

Concepts and Relations

binary-tuple [Relation] ()
compute-conjunction-concept [Function] (concepts)
Concept [Concept] (object)
concept-p [Function] (object)
concept--characteristics [Relation] (concept characteristic)
concept--name [Relation] (concept symbol)
create-concept [Function] (name type kb)
delete-concept [Function] (concept &keyword type delete-merged-concepts-p)
disjoint-concepts-p [Method] (concept1 concept2)
get-name [Function] (object)
Incoherent-Concept [Concept] (object)
Meta-Concept [Concept] (object)
meta-concept-p [Function] (object)
n-ary-tuple [Relation] ()
object-name [Method] (object)
Primitive-P [Concept] (object)
Single-Valued-P [Concept] (object)
Relation [Concept] (object)
relation-p [Function] (object)
relation--domain [Relation] (relation concept)
relation--name [Relation] (relation symbol)
relation--range [Relation] (relation concept)
rename-concept [Function] (newName concept &keyword type)
Thing [Concept] (object)
User-Defined-P [Concept] (object)

Roles

compute-value-restriction [Function] (concept relation &keyword return-a-list-p)
concept--restrictions [Relation] (concept restriction)
get-role [Function] (concept relation)
get-role-cardinality [Function] (conceptOrInstance relation)
get-role-default-values [Function] (concept relation)
get-role-max-cardinality [Method] (conceptOrInstance relation)
get-role-min-cardinality [Method] (conceptOrInstance relation)
get-role-types [Method] (conceptOrInstance relation)
get-role-values [Method] (conceptOrInstance relation)
get-roles [Function] (concept)
Max-Restriction-P [Concept] (object)
Min-Restriction-P [Concept] (object)
relation--restrictions [Relation] (relation restriction)
Restriction-P [Concept] (object)
restriction--concepts [Relation] (restriction concept)
restriction--max [Relation] (restriction max)
restriction--min [Relation] (restriction min)
restriction--relation [Relation] (restriction relation)
restriction--value-restriction [Relation] (restriction vr)
Value-Restriction-P [Concept] (object)

Instances

change-object [Function] (instance class)
copy-instance [Function] (instance &keyword identifier kb add-suffix-p)
create [Function] (identifier concept &keyword kb add-suffix-p clos-instance-p)
destroy [Method] (instance &keyword dont-unintern-p)
do-instances [Macro] (variable &body body)
find-knowledge-base-of-instance [Function] (instance)
find-or-create-instance [Function] (instance concept)
forget [Macro] (&body propositions)
Incoherent [Concept] (object)
instance-p [Function] (object)
instance--identifier [Relation] (instance symbol)
list-instances [Function] ()
loom-concept [Slot] (instance)
make-object [Macro] (class &body initargs &keyword identifier kb)
object-name [Method] (object)
tell [Macro] (&body propositions)
unmake-object [Function] (instance)

Frames

add-type [Function] (instance concept &keyword kb no-error-p)
add-value [Function] (instance role value &keyword kb no-error-p)
fadd-value [Function] (instance role value)
fget-value [Macro] (instance role)
fremove-value [Function] (instance role value)
fset-value [Function] (instance role value)
get-instances [Function] (concept &keyword direct-p asserted-p)
get-inverse-values [Function] (instance role &keyword kb no-error-p)
get-name [Function] (object)
get-subconcepts [Function] (concept &keyword direct-p)
get-subrelations [Function] (relationOrConcept &keyword direct-p)
get-superconcepts [Function] (concept &keyword direct-p)
get-superrelations [Function] (relationOrConcept &keyword direct-p)
get-types [Function] (instance &keyword asserted-p direct-p)
get-value [Function] (instance role &keyword direct-p kb no-error-p)
get-values [Function] (instance role &keyword direct-p kb no-error-p)
remove-type [Function] (instance concept &keyword kb no-error-p)
remove-value [Function] (instance role value &keyword kb no-error-p)
set-value [Function] (instance role value &keyword kb no-error-p)
set-values [Function] (instance role values &keyword kb no-error-p)
test-not-type-p [Function] (instance concept &keyword kb no-error-p)
test-type-p [Function] (instance concept &keyword kb no-error-p)

Knowledge Bases

change-kb [Function] (knowledgeBase &keyword no-checking-p)
clear-kb [Macro] (&optional knowledgeBase &keyword partitions)
current-kb [Function] ()
defkb [Macro] (name parentKbs &keyword path-name package export-names-p monotonic-p)
find-kb [Function] (knowledgeBase &keyword no-warning-p)
find-knowledge-base-of-instance [Function] (instance)
in-kb [Macro] (knowledgeBase)
Knowledge-Base [Concept] (object)
list-kb [Macro] (&optional knowledgeBase &keyword partitions sort-p)
list-knowledge-bases [Function] ()
load-kb [Function] (knowledgeBase &keyword path-name)
save-kb [Function] (&optional knowledgeBase &keyword partitions path-name)
use-loom [Macro] (packageName &keyword dont-create-knowledge-base-p knowledge-base-name path-name loom-imports)

Behaviors

defaction [Macro] (name parameters &keyword filters missing-methods)
defmethod [Macro] (name parameters &keyword title situation with overrides response)
defproduction [Macro] (name &keyword when perform schedule do priority)
delete-all-methods [Function] (action)
delete-method [Function] (&keyword action title method error-p)
delete-production [Function] (production &keyword error-p)
fail [Macro] (&optional result)
fb [Macro] (behaviorOrTitle &optional title)
find-action [Function] (action &keyword no-warning-p)
find-method [Macro] (actionOrTitle &optional title &rest no-error-p)
find-production [Function] (production &keyword no-warning-p)
get-action [Function] (action &keyword no-error-p)
get-method [Function] (action title &keyword no-error-p)
get-production [Function] (production &keyword no-error-p)
initialize-tasks [Function] ()
kill-task [Function] (task)
list-methods [Function] (action)
list-productions [Function] (&keyword kb)
list-tasks [Function] (list-tasks &keyword priorities)
pb [Macro] (behavior &optional title)
perform [Macro] ((actionName &rest arguments) &keyword returnOption)
perform-task [Function] (task returnOption)
print-methods [Function] (action)
schedule [Macro] ((actionName &rest arguments) &keyword priority)
schedule-task [Function] (task)
scheduled-p [Function] (task)

Built-In Predicates

Built-In Concepts

Character [Concept] (object)
Concept [Concept] (object)
Cons-Or-Null [Concept] (object)
Constant [Concept] (object)
Incoherent [Concept] (object)
Incoherent-Concept [Concept] (object)
Integer [Concept] (object)
Knowledge-Base [Concept] (object)
Loom-Thing [Concept] (object)
Max-Restriction-P [Concept] (object)
Meta-Concept [Concept] (object)
Min-Restriction-P [Concept] (object)
Non-Loom-Thing [Concept] (object)
Number [Concept] (object)
Primitive-P [Concept] (object)
Relation [Concept] (object)
Restriction-P [Concept] (object)
Single-Valued-P [Concept] (object)
String [Concept] (object)
Symbol [Concept] (object)
Thing [Concept] (object)
User-Defined-P [Concept] (object)
Value-Restriction-P [Concept] (object)

Built-In Relations

concept--characteristics [Relation] (concept characteristic)
concept--instances [Relation] (concept instance)
concept--name [Relation] (concept symbol)
concept--restrictions [Relation] (concept restriction)
count [Relation] (setOfObjects number)
direct-subconcepts [Relation] (concept1 concept2)
direct-superconcepts [Relation] (concept1 concept2)
identifier--instance [Relation] (symbol instance)
instance--asserted-concepts [Relation] (instance concept)
instance--cached-concepts [Relation] (instance concept)
instance--concepts [Relation] (instance concept)
instance--identifier [Relation] (instance symbol)
instance--type [Relation] (instance concept)
isa-p [Relation] (object concept)
max [Relation] (setOfNumbers number)
member-of [Relation] (object set)
members [Relation] (set object)
min [Relation] (setOfNumbers number)
name--concept [Relation] (symbol concept)
name--relation [Relation] (symbol relation)
predecessor [Relation] (set member1 member2)
relation--domain [Relation] (relation concept)
relation--name [Relation] (relation symbol)
relation--range [Relation] (relation concept)
relation--restrictions [Relation] (relation restriction)
restriction--concepts [Relation] (restriction concept)
restriction--max [Relation] (restriction max)
restriction--min [Relation] (restriction min)
restriction--relation [Relation] (restriction relation)
restriction--value-restriction [Relation] (restriction vr)
role-members [Relation] (instance relation value)
same-as [Relation] (set1 set2)
subconcepts [Relation] (concept1 concept2)
subset [Relation] (set1 set2)
successor [Relation] (set member1 member2)
sum [Relation] (setOfNumbers number)
superconcepts [Relation] (concept1 concept2)
term-implies [Relation] (concept1 concept2)
+ [Relation] (number1 number2 number3)
- [Relation] (number1 number2 number3)
> [Relation] (number1 number2)
< [Relation] (number1 number2)
= [Relation] (number1 number2)
>= [Relation] (number1 number2)
<= [Relation] (number1 number2)
/= [Relation] (number1 number2)

Information
Sciences Institute ISI Intelligent
Systems Division Loom Home Page