Context BUILT-IN-THEORY

(defrelation *
   :ARITY 3 
   :DOMAINS (NUMBER NUMBER)
   :RANGE NUMBER
   :CHARACTERISTICS (:COMMUTATIVE :PERFECT )
   :FUNCTION * )

(defrelation + :ARITY 3 :DOMAINS (NUMBER NUMBER) :RANGE NUMBER :CHARACTERISTICS (:COMMUTATIVE :PERFECT ) :FUNCTION + )

(defrelation - :ARITY 3 :DOMAINS (NUMBER NUMBER) :RANGE NUMBER :CHARACTERISTICS :PERFECT :FUNCTION - )

(defrelation / :ARITY 3 :DOMAINS (NUMBER NUMBER) :RANGE NUMBER :CHARACTERISTICS (:PERFECT ) :FUNCTION / )

(defrelation < :IS (:INVERSE > ) :CHARACTERISTICS :OPEN-WORLD :PREDICATE < )

(defrelation <= :IS (:INVERSE >= ) :CHARACTERISTICS :OPEN-WORLD :PREDICATE <= )

(defrelation <> :DOMAIN NUMBER :RANGE NUMBER :CHARACTERISTICS (:SYMMETRIC :PERFECT ) :PREDICATE /= )

(defrelation <> :IS-PRIMITIVE :PRIMITIVE )

(defrelation = :IS (:AND >= <= ) :FUNCTION NIL :PREDICATE EQUAL :CHARACTERISTICS (:SYMMETRIC :PERFECT :READ-ONLY ))

(defrelation > :DOMAIN NUMBER :RANGE NUMBER :IS (:AND <> >= ) :PREDICATE > :CHARACTERISTICS (:PERFECT :READ-ONLY ))

(defrelation >= :DOMAIN NUMBER :RANGE NUMBER :CHARACTERISTICS (:PERFECT :READ-ONLY ) :PREDICATE >= )

(defrelation ARITY :CHARACTERISTICS :SINGLE-VALUED )

(defrelation BINARY-TUPLE :CHARACTERISTICS (:SYMMETRIC ) :IMPLIES (:RANGE THING ))

(defrelation CARDINALITY :DOMAIN COLLECTION :RANGE INTEGER :CHARACTERISTICS (:READ-ONLY :SINGLE-VALUED ))

(defrelation CHARACTERISTICS :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation CONCEPT--ATTRIBUTES :IS-PRIMITIVE BINARY-TUPLE :DOMAIN CONCEPT :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation CONCEPT--CHARACTERISTICS :IS-PRIMITIVE BINARY-TUPLE :DOMAIN CONCEPT :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation CONCEPT--INSTANCES :IS-PRIMITIVE BINARY-TUPLE :DOMAIN CONCEPT :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation CONCEPT--NAME :IS-PRIMITIVE BINARY-TUPLE :DOMAIN CONCEPT :RANGE SYMBOL)

(defrelation CONCEPT--RESTRICTIONS :IS-PRIMITIVE BINARY-TUPLE :CHARACTERISTICS :MULTIPLE-VALUED :DOMAIN CONCEPT)

(defrelation COUNT :DOMAIN COLLECTION :RANGE NUMBER :FUNCTION NIL)

(defrelation DIRECT-DEPENDENTS :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation DIRECT-SUBCONCEPTS :IS (:INVERSE DIRECT-SUPERCONCEPTS ) :FUNCTION NIL :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ))

(defrelation DIRECT-SUBCONCEPTS :IS (:INVERSE DIRECT-SUPERCONCEPTS ))

(defrelation DIRECT-SUBRELATIONS :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ) :DOMAIN META-CONCEPT :RANGE META-CONCEPT :FUNCTION NIL)

(defrelation DIRECT-SUPERCONCEPTS :FUNCTION NIL :DOMAIN META-CONCEPT :RANGE META-CONCEPT :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ))

(defrelation DIRECT-SUPERCONCEPTS :IS-PRIMITIVE :PRIMITIVE )

(defrelation DIRECT-SUPERRELATIONS :IS (:INVERSE DIRECT-SUBRELATIONS ) :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ) :FUNCTION NIL)

(defrelation DOMAIN)

(defrelation HAS-ROLE :DOMAIN META-CONCEPT)

(defrelation IDENTIFIER--INSTANCE :IS-PRIMITIVE BINARY-TUPLE :DOMAIN SYMBOL)

(defrelation IMPLIES :IS-PRIMITIVE BINARY-TUPLE :DOMAIN CONCEPT :RANGE CONCEPT :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation INSTANCE--ASSERTED-CONCEPTS :IS-PRIMITIVE BINARY-TUPLE :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation INSTANCE--ASSERTED-CONCEPTS :IS-PRIMITIVE BINARY-TUPLE :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation INSTANCE--CACHED-CONCEPTS :IS-PRIMITIVE BINARY-TUPLE :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation INSTANCE--CONCEPTS :IS-PRIMITIVE BINARY-TUPLE :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation INSTANCE--FORWARD-CHAINING-TYPE :IS-PRIMITIVE BINARY-TUPLE :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation INSTANCE--IDENTIFIER :IS-PRIMITIVE BINARY-TUPLE )

(defrelation INSTANCE--MAX-RESTRICTION :DOMAINS (THING RELATION) :IS-PRIMITIVE N-ARY-TUPLE )

(defrelation INSTANCE--MIN-RESTRICTION :DOMAINS (THING RELATION) :IS-PRIMITIVE N-ARY-TUPLE )

(defrelation INSTANCE--TYPE :IS-PRIMITIVE BINARY-TUPLE )

(defrelation INSTANCE--VALUE-RESTRICTION :DOMAINS (THING RELATION) :IS-PRIMITIVE N-ARY-TUPLE )

(defrelation INSTANCE-OF :IS-PRIMITIVE BINARY-TUPLE :RANGE CONCEPT)

(defrelation INSTANCE-OF :IS-PRIMITIVE BINARY-TUPLE )

(defrelation INSTANCES :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation ISA :RANGE CONCEPT :PREDICATE NIL)

(defrelation ISA :IS-PRIMITIVE :PRIMITIVE )

(defrelation MAX :DOMAIN COLLECTION :RANGE NUMBER :FUNCTION NIL)

(defrelation MEMBER-OF :IS (:INVERSE MEMBERS ) :RANGE COLLECTION :PREDICATE NIL)

(defrelation MEMBERS :DOMAIN COLLECTION :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation MIN :DOMAIN COLLECTION :RANGE NUMBER :FUNCTION NIL)

(defrelation MOST-SPECIFIC-CONCEPTS :DOMAIN SET :CHARACTERISTICS :MULTIPLE-VALUED :FUNCTION NIL)

(defrelation N-ARY-TUPLE :IMPLIES (:RANGE THING ))

(defrelation LOOM::NAME :CHARACTERISTICS :NON-EXPORTED :DOMAIN META-CONCEPT)

(defrelation NAME--CONCEPT :IS-PRIMITIVE BINARY-TUPLE :DOMAIN SYMBOL :RANGE CONCEPT)

(defrelation NAME--RELATION :IS-PRIMITIVE BINARY-TUPLE :DOMAIN SYMBOL :RANGE RELATION)

(defrelation LOOM::PARENTS :CHARACTERISTICS (:NON-EXPORTED :MULTIPLE-VALUED ))

(defrelation PREDECESSOR :DOMAINS (CONCEPT CONSTANT) :RANGE CONSTANT :FUNCTION NIL)

(defrelation RANGE)

(defrelation RELATION--DOMAIN :IS-PRIMITIVE BINARY-TUPLE :DOMAIN RELATION :RANGE CONCEPT)

(defrelation RELATION--NAME :IS-PRIMITIVE BINARY-TUPLE :DOMAIN RELATION :RANGE SYMBOL)

(defrelation RELATION--RANGE :IS-PRIMITIVE BINARY-TUPLE :DOMAIN RELATION :RANGE CONCEPT)

(defrelation RELATION--RESTRICTIONS :IS (:INVERSE RESTRICTION--RELATION ) :CHARACTERISTICS :MULTIPLE-VALUED :FUNCTION NIL)

(defrelation RESTRICTION--CONCEPTS :IS (:INVERSE CONCEPT--RESTRICTIONS ) :RANGE CONCEPT :DOMAIN RESTRICTION-P :CHARACTERISTICS :MULTIPLE-VALUED :FUNCTION NIL)

(defrelation RESTRICTION--MAX :IS-PRIMITIVE BINARY-TUPLE :DOMAIN RESTRICTION-P)

(defrelation RESTRICTION--MIN :IS-PRIMITIVE BINARY-TUPLE :DOMAIN RESTRICTION-P)

(defrelation RESTRICTION--QUALIFICATION :FUNCTION LOOM::QUALIFICATION :DOMAIN RESTRICTION-P)

(defrelation RESTRICTION--RELATION :IS-PRIMITIVE BINARY-TUPLE :RANGE RELATION :DOMAIN RESTRICTION-P)

(defrelation RESTRICTION--VALUE-RESTRICTION :IS-PRIMITIVE BINARY-TUPLE :DOMAIN RESTRICTION-P)

(defrelation ROLE--CONCEPT :IS (:AND ROLE--INSTANCE (:RANGE CONCEPT )) :CHARACTERISTICS :SINGLE-VALUED )

(defrelation ROLE--INSTANCE :DOMAIN ROLE :CHARACTERISTICS :SINGLE-VALUED )

(defrelation ROLE--RELATION :DOMAIN ROLE :RANGE RELATION :CHARACTERISTICS SINGLE-VALUED )

(defrelation ROLE--VALUE :IS (:SATISFIES (LOOM::?ROLE LOOM::?VALUE) (ROLE-VALUES (ROLE--INSTANCE LOOM::?ROLE ) (ROLE--RELATION LOOM::?ROLE ) LOOM::?VALUE )) :DOMAIN ROLE :CHARACTERISTICS SINGLE-VALUED )

(defrelation ROLE-CARDINALITY :DOMAINS (CONCEPT RELATION) :RANGE INTEGER :IS (:AND ROLE-MIN-CARDINALITY ROLE-MAX-CARDINALITY ) :FUNCTION NIL :CHARACTERISTICS :SINGLE-VALUED )

(defrelation ROLE-MAX-CARDINALITY :DOMAINS (CONCEPT RELATION) :RANGE INTEGER :FUNCTION NIL)

(defrelation ROLE-MEMBERS :DOMAINS (THING RELATION) :CHARACTERISTICS :MULTIPLE-VALUED :FUNCTION NIL)

(defrelation ROLE-MIN-CARDINALITY :DOMAINS (CONCEPT RELATION) :RANGE INTEGER :FUNCTION NIL)

(defrelation ROLE-TYPES :DOMAINS (CONCEPT RELATION) :RANGE CONCEPT :FUNCTION NIL)

(defrelation ROLE-VALUES :DOMAINS (THING RELATION) :CHARACTERISTICS :MULTIPLE-VALUED :FUNCTION NIL)

(defrelation ROLES :CHARACTERISTICS :MULTIPLE-VALUED )

(defrelation SAME-AS :IS-PRIMITIVE SUBSET :CHARACTERISTICS (:SYMMETRIC :PERFECT :READ-ONLY ) :FUNCTION NIL :PREDICATE NIL)

(defrelation SUBCONCEPT* :IS-PRIMITIVE BINARY-TUPLE :DOMAIN META-CONCEPT :RANGE META-CONCEPT :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ))

(defrelation SUBCONCEPTS :IS-PRIMITIVE BINARY-TUPLE :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ) :DOMAIN META-CONCEPT :RANGE META-CONCEPT :PREDICATE NIL)

(defrelation SUBRELATIONS :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ) :DOMAIN META-CONCEPT :RANGE META-CONCEPT :FUNCTION NIL :PREDICATE NIL)

(defrelation SUBSET :DOMAIN SET :RANGE SET :PREDICATE NIL)

(defrelation SUCCESSOR :DOMAINS (CONCEPT CONSTANT) :RANGE CONSTANT :FUNCTION NIL)

(defrelation SUM :DOMAIN COLLECTION :RANGE NUMBER :FUNCTION NIL)

(defrelation SUPERCONCEPT* :IS-PRIMITIVE BINARY-TUPLE :DOMAIN META-CONCEPT :RANGE META-CONCEPT :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ))

(defrelation SUPERCONCEPT+ :IS-PRIMITIVE BINARY-TUPLE :DOMAIN META-CONCEPT :RANGE META-CONCEPT :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ))

(defrelation SUPERCONCEPTS :IS (:INVERSE SUBCONCEPTS ) :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ) :FUNCTION NIL :PREDICATE NIL)

(defrelation SUPERRELATIONS :IS (:INVERSE SUBRELATIONS ) :CHARACTERISTICS (:MULTIPLE-VALUED :READ-ONLY ) :FUNCTION NIL :PREDICATE NIL)

(defrelation TERM-IMPLIES :CHARACTERISTICS :MULTIPLE-VALUED :FUNCTION NIL)

(defrelation THE-RELATION :ARITY 3 :DOMAINS (THING INTEGER) :RANGE META-CONCEPT :FUNCTION THE-RELATION )

(defrelation THE-ROLE :DOMAINS (CONCEPT RELATION) :RANGE ROLE :FUNCTION NIL)

(defrelation TYPES :CHARACTERISTICS :MULTIPLE-VALUED )

(defconcept A-REIFIED-RELATION :IMPLIES (:AND (:AT-LEAST 1 DOMAIN ) (:AT-LEAST 1 RANGE )))

(defproperty BADLY-DEFINED :FUNCTION NIL :PREDICATE LOOM::BAD-DEFINITION-P :DOMAIN META-CONCEPT)

(defconcept BINARY-RELATION :IS (:AND RELATION (:THE ARITY (:ONE-OF 2 ))))

(defconcept CHARACTER :IS-PRIMITIVE CONSTANT :IN-PARTITION LOOM::$CONSTANT-PARTITION$ :CHARACTERISTICS (:MONOTONIC :READ-ONLY ) :PREDICATE CHARACTERP :EXISTING-CLASS-NAME CHARACTER :IDENTIFIER CHARACTER )

(defproperty CLOSED :DOMAIN META-CONCEPT :PREDICATE NIL)

(defconcept COLLECTION :ROLES (MEMBERS COUNT ))

(defconcept CONCEPT :IS-PRIMITIVE META-CONCEPT :ROLES ((ROLES :FUNCTION GET-ROLES ) (INSTANCES :FUNCTION ((LOOM::?SELF ) (LET ((SET (LOOM::DEFINED-SET-FEATURE LOOM::?SELF ))) (KBCLASSES::IF SET (TYPECASE SET (LOOM::SYMBOLIC-INTERVAL (LOOM::SYMBOLS SET )) (SET-FEATURE (MEMBERS SET ))) (LOOM::GENERATE-INSTANCES LOOM::?SELF )))))) :EXISTING-CLASS-NAME LOOM::UNARY-CONCEPT :FUNCTION NIL)

(defconcept CONCEPT-OR-PROPERTY :IS (:OR CONCEPT PROPERTY ) :ROLES (PROPERTIES ))

(defconcept CONS-OR-NULL :IS-PRIMITIVE CONSTANT :PREDICATE LISTP )

(defconcept CONSTANT :IS-PRIMITIVE NON-LOOM-THING :PARTITIONS LOOM::$CONSTANT-PARTITION$ :CHARACTERISTICS (:PERFECT :BACKWARD-CHAINING ) :PREDICATE LOOM::CONSTANT-P :IDENTIFIER CONSTANT )

(defconcept CONTEXT :ROLES ((LOOM::NAME :FUNCTION LOOM::NAME ) (LOOM::PARENTS :FUNCTION LOOM::PARENT-CONTEXTS )) :IMPLIES (:AND (:THE LOOM::NAME SYMBOL ) (:ALL LOOM::PARENTS CONTEXT )) :EXISTING-CLASS-NAME CONTEXT )

(defproperty FUTURE :DOMAIN NUMBER :PREDICATE NIL)

(defconcept INCOHERENT :FUNCTION NIL :PREDICATE NIL)

(defproperty INCOHERENT-CONCEPT :DOMAIN META-CONCEPT :PREDICATE NIL)

(defconcept INTEGER :IS-PRIMITIVE NUMBER :CHARACTERISTICS (:PERFECT ) :PREDICATE INTEGERP :EXISTING-CLASS-NAME INTEGER :IDENTIFIER INTEGER )

(defconcept KNOWLEDGE-BASE :ROLES ((LOOM::NAME :FUNCTION LOOM::NAME ) (LOOM::PARENTS :FUNCTION LOOM::PARENT-KBS )) :IMPLIES (:AND (:THE LOOM::NAME SYMBOL ) (:ALL LOOM::PARENTS KNOWLEDGE-BASE )) :EXISTING-CLASS-NAME KNOWLEDGE-BASE )

(defconcept LIST :IS-PRIMITIVE COLLECTION :ROLES ((MEMBERS :FUNCTION IDENTITY ) (CARDINALITY :FUNCTION LENGTH )) :EXISTING-CLASS-NAME CONS :PREDICATE LISTP )

(defconcept LOOM-THING :ROLES ((XIDENTIFIER :FUNCTION LOOM::IDENTIFIER ) (XTYPE :FUNCTION LOOM::FIND-TYPE&RESIDUE-FEATURES )) :IMPLIES (:AND (:THE XIDENTIFIER SYMBOL ) (:THE XTYPE CONCEPT )) :CHARACTERISTICS :SYSTEM-DEFINED :PREDICATE NIL)

(defconcept MAX-RESTRICTION :IS-PRIMITIVE RESTRICTION :CHARACTERISTICS :PERFECT :EXISTING-CLASS-NAME MAX-RESTRICTION :PREDICATE NIL)

(defconcept MAX-RESTRICTION-P :IS-PRIMITIVE (:AND RESTRICTION-P THING ) :CHARACTERISTICS (:PERFECT :PREDICATE-SPECIALIZES-PARENTS ))

(defconcept META-CONCEPT :ROLES ((LOOM::NAME :FUNCTION LOOM::NAME ) (ARITY :FUNCTION ARITY ) (CHARACTERISTICS :FUNCTION ((LOOM::?SELF ) (LOOM::ATTRIBUTES LOOM::?SELF )))) :IMPLIES (:AND (:ALL ROLES ROLE ) (:THE LOOM::NAME SYMBOL ) (:ALL PROPERTIES SYMBOL )) :EXISTING-CLASS-NAME LOOM::TBOX-CONCEPT )

(defconcept MIN-RESTRICTION :IS-PRIMITIVE RESTRICTION :CHARACTERISTICS :PERFECT :EXISTING-CLASS-NAME MIN-RESTRICTION :PREDICATE NIL)

(defconcept MIN-RESTRICTION-P :IS-PRIMITIVE (:AND RESTRICTION-P THING ) :CHARACTERISTICS (:PERFECT :PREDICATE-SPECIALIZES-PARENTS ))

(defconcept NAMED-P :IS-PRIMITIVE (:AND META-CONCEPT THING ))

(defconcept NON-LOOM-THING :CHARACTERISTICS (:PERFECT :BACKWARD-CHAINING ) :PREDICATE NIL :IDENTIFIER NON-LOOM-THING )

(defconcept NUMBER :IS-PRIMITIVE CONSTANT :IN-PARTITION LOOM::$CONSTANT-PARTITION$ :CHARACTERISTICS (:PERFECT ) :PREDICATE NUMBERP :EXISTING-CLASS-NAME NUMBER :IDENTIFIER NUMBER )

(defconcept OLD-ROLE :IS-PRIMITIVE META-CONCEPT :IMPLIES (:AND (:EXACTLY 1 ROLE--RELATION ) (:EXACTLY 1 ROLE--INSTANCE )))

(defproperty PAST :DOMAIN NUMBER :PREDICATE NIL)

(defproperty PRIMITIVE :DOMAIN META-CONCEPT :PREDICATE NIL)

(defproperty PRIMITIVE :IS-PRIMITIVE :PRIMITIVE )

(defconcept PROPERTY :IS-PRIMITIVE META-CONCEPT :ROLES ((DOMAIN :FUNCTION LOOM::IMPLIED-DOMAIN )) :IMPLIES (:THE DOMAIN CONCEPT ) :EXISTING-CLASS-NAME LOOM::UNARY-RELATION )

(defconcept RELATION :IS-PRIMITIVE META-CONCEPT :ROLES ((DOMAIN :FUNCTION LOOM::IMPLIED-DOMAIN ) (RANGE :FUNCTION LOOM::IMPLIED-RANGE ) (INVERSE :FUNCTION ((LOOM::?SELF ) (WHEN (TYPEP LOOM::?SELF (QUOTE BINARY-RELATION )) (INVERSE LOOM::?SELF ))))) :IMPLIES (:AND (:THE DOMAIN CONCEPT ) (:THE RANGE CONCEPT )) :EXISTING-CLASS-NAME LOOM::TBOX-RELATION )

(defconcept RESTRICTION :ROLES (RELATION (VALUE-TYPE :FUNCTION ((LOOM::?SELF ) (WHEN (TYPEP LOOM::?SELF (QUOTE VALUE-RESTRICTION )) (VALUE-RESTRICTION LOOM::?SELF )))) (MINIMUM :FUNCTION ((LOOM::?SELF ) (WHEN (TYPEP LOOM::?SELF (QUOTE MIN-RESTRICTION )) (LOOM::LOWER-BOUND LOOM::?SELF )))) (MAXIMUM :FUNCTION ((LOOM::?SELF ) (WHEN (TYPEP LOOM::?SELF (QUOTE MAX-RESTRICTION )) (LOOM::UPPER-BOUND LOOM::?SELF )))) (DIRECT-DEPENDENTS :FUNCTION ((LOOM::?SELF ) (LOOP FOR LOOM::DEP IN (UNION (LOOM::DEPENDENTS LOOM::?SELF ) (LOOM::NON-TBOX-DEPENDENTS LOOM::?SELF ))WHEN (CONCEPT-P LOOM::DEP )COLLECT LOOM::DEP )))) :IMPLIES (:AND (:THE RELATION RELATION ) (:THE VALUE-TYPE CONCEPT ) (:THE MINIMUM INTEGER ) (:THE MAXIMUM INTEGER ) (:ALL DIRECT-DEPENDENTS CONCEPT )) :EXISTING-CLASS-NAME LOOM::RESTRICTION-FEATURE :PREDICATE NIL)

(defconcept RESTRICTION-P :IS-PRIMITIVE THING :CHARACTERISTICS :PERFECT )

(defconcept ROLE :ROLES (CONCEPT RELATION (LOOM::NAME :FUNCTION ((LOOM::?SELF ) (LOOM::NAME (RELATION LOOM::?SELF )))) (TYPES :FUNCTION ((LOOM::?SELF ) (GET-ROLE-TYPES (CONCEPT LOOM::?SELF ) (RELATION LOOM::?SELF )))) (MIN-CARDINALITY :FUNCTION ((LOOM::?SELF ) (GET-ROLE-MIN-CARDINALITY (CONCEPT LOOM::?SELF ) (RELATION LOOM::?SELF )))) (MAX-CARDINALITY :FUNCTION ((LOOM::?SELF ) (GET-ROLE-MAX-CARDINALITY (CONCEPT LOOM::?SELF ) (RELATION LOOM::?SELF )))) (CARDINALITY :FUNCTION ((LOOM::?SELF ) (GET-ROLE-CARDINALITY (CONCEPT LOOM::?SELF ) (RELATION LOOM::?SELF ))))) :IMPLIES (:AND (:THE CONCEPT CONCEPT ) (:THE RELATION RELATION ) (:THE MIN-CARDINALITY INTEGER ) (:THE CARDINALITY INTEGER )) :EXISTING-CLASS-NAME ROLE )

(defconcept SET :IS-PRIMITIVE COLLECTION :ROLES (MEMBERS MEMBER-TYPE (CARDINALITY :FUNCTION ((LOOM::?SELF ) (LENGTH (MEMBERS LOOM::?SELF ))))) :MIXIN-CLASSES CLOS-INSTANCE )

(defproperty SINGLE-VALUED :DOMAIN RELATION :PREDICATE NIL)

(defproperty SINGLE-VALUED :IS-PRIMITIVE :PRIMITIVE )

(defconcept STRING :IS-PRIMITIVE CONSTANT :IN-PARTITION LOOM::$CONSTANT-PARTITION$ :CHARACTERISTICS (:MONOTONIC :READ-ONLY ) :PREDICATE STRINGP :EXISTING-CLASS-NAME STRING :IDENTIFIER STRING )

(defconcept SYMBOL :IS-PRIMITIVE CONSTANT :IN-PARTITION LOOM::$CONSTANT-PARTITION$ :CHARACTERISTICS (:MONOTONIC :READ-ONLY ) :PREDICATE SYMBOLP :EXISTING-CLASS-NAME SYMBOL :IDENTIFIER SYMBOL )

(defconcept TEMPORAL-INCOHERENT :CHARACTERISTICS (:TEMPORAL :READ-ONLY ))

(defconcept THING :CHARACTERISTICS (:CLOS-CLASS ))

(defconcept UNARY-FUNCTION :IS-PRIMITIVE BINARY-RELATION :PREDICATE NIL)

(defproperty UNARY-TUPLE)

(defproperty USER-DEFINED :DOMAIN META-CONCEPT :PREDICATE NIL)

(defproperty USER-DEFINED :IS-PRIMITIVE :PRIMITIVE )

(defconcept VALUE-RESTRICTION :IS-PRIMITIVE RESTRICTION :CHARACTERISTICS :PERFECT :EXISTING-CLASS-NAME VALUE-RESTRICTION :PREDICATE NIL)

(defconcept VALUE-RESTRICTION-P :IS-PRIMITIVE (:AND RESTRICTION-P THING ) :CHARACTERISTICS (:PERFECT :PREDICATE-SPECIALIZES-PARENTS ))

(tell (ABOUT LOOM::MATCHMAKER-KB (CREATE KNOWLEDGE-BASE CLOS) (LOOM::NAME MATCHMAKER-KB)))

(tell (ABOUT LOOM::TEST-KB (CREATE KNOWLEDGE-BASE CLOS) (LOOM::NAME TEST-KB)))