Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  domain

 Sigma KEE - domain
domain

appearance as argument number 1
-------------------------


(instance domain TernaryPredicate) Merge.kif 201-201 domain is an instance of ternary predicate
(domain domain 1 Relation) Merge.kif 202-202 The number 1 argument of domain is an instance of relation
(domain domain 2 PositiveInteger) Merge.kif 203-203 The number 2 argument of domain is an instance of positive integer
(domain domain 3 Class) Merge.kif 204-204 The number 3 argument of domain is an instance of class
(documentation domain EnglishLanguage "Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a Class already defined in the ontology, one can specify a Class compositionally with the functions UnionFn, IntersectionFn, etc.") Merge.kif 205-213 The number 3 argument of domain is an instance of class

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage domain "domain") domainEnglishFormat.kif 20112-20112
(termFormat ChineseTraditionalLanguage domain "域") domainEnglishFormat.kif 20113-20113
(termFormat ChineseLanguage domain "域") domainEnglishFormat.kif 20114-20114
(format EnglishLanguage domain "the number %2 argument of %1 is %n an instance of %3") english_format.kif 296-296

antecedent
-------------------------


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (domain ?PRED2 ?NUMBER ?CLASS1))
    (domain ?PRED1 ?NUMBER ?CLASS1))		 Merge.kif 180-184 If X is a subrelation of Y and the number Z argument of Y is an instance of W, then the number Z argument of X is an instance of W
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 215-221 If the number X argument of Y is an instance of Z and the number X argument of Y is an instance of W, then Z is a subclass of W or W is a subclass of Z
(=>
    (and
        (domain ?REL1 ?NUMBER ?CLASS1)
        (domain ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))		 Merge.kif 411-416 If the number X argument of Y is an instance of Z, the number X argument of W is an instance of V, and Z is disjoint from V, then Y and W are disjoint
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (instance
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))		 Merge.kif 3109-3114 If the number X argument of Y is an instance of Z, Y is an instance of predicate, and Y @ROW, then V element of (@ROW) is an instance of Z
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 18523-18527 If X is an instance of economic relation and the number 1 argument of X is an instance of Y, then Y is a subclass of geopolitical area
(=>
    (and
        (applicableRelation ?O ?R)
        (instance ?O ?OC)
        (domain ?R 1 ?DC))
    (or
        (equal ?OC ?DC)
        (subclass ?OC ?DC)))		 Mid-level-ontology.kif 33896-33903 If X can be an argument to Y, X is an instance of Z, and the number 1 argument of Y is an instance of W, then equal Z and W or Z is a subclass of W

consequent
-------------------------


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (domain ?PRED2 ?NUMBER ?CLASS1))
    (domain ?PRED1 ?NUMBER ?CLASS1))		 Merge.kif 180-184 If X is a subrelation of Y and the number Z argument of Y is an instance of W, then the number Z argument of X is an instance of W
(=>
    (instance ?FUN OneToOneFunction)
    (forall (?ARG1 ?ARG2)
        (=>
            (exists (?CLASS)
                (and
                    (domain ?FUN 1 ?CLASS)
                    (instance ?ARG1 ?CLASS)
                    (instance ?ARG2 ?CLASS)
                    (not
                        (equal ?ARG1 ?ARG2))))
            (not
                (equal
                    (AssignmentFn ?FUN ?ARG1)
                    (AssignmentFn ?FUN ?ARG2))))))		 Merge.kif 3488-3498 If X is an instance of one to one function, then For all Entities Y and Z: if there exists W such that the number 1 argument of X is an instance of W, Y is an instance of W, Z is an instance of W, equal Y, and Z, then equal X(Y) and X(Z)
(=>
    (instance ?FUNCTION AssociativeFunction)
    (forall (?INST1 ?INST2 ?INST3 ?CLASS)
        (=>
            (and
                (domain ?FUNCTION 1 ?CLASS)
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS)
                (instance ?INST3 ?CLASS))
            (equal
                (AssignmentFn ?FUNCTION ?INST1
                    (AssignmentFn ?FUNCTION ?INST2 ?INST3))
                (AssignmentFn ?FUNCTION
                    (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3)))))		 Merge.kif 3531-3541 If X is an instance of associative function, then For all Entities Y, Z, and W and Class V: if the number 1 argument of X is an instance of V, Y is an instance of V, Z is an instance of V, and W is an instance of V, then equal X(Y and X(Z and W)) and X(X(Y and Z) and W)
(=>
    (instance ?FUNCTION CommutativeFunction)
    (forall (?INST1 ?INST2 ?CLASS)
        (=>
            (and
                (domain ?FUNCTION 1 ?CLASS)
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
            (equal
                (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))		 Merge.kif 3551-3561 If X is an instance of commutative function, then For all Entities Y and Z and Class W: if the number 1 argument of X is an instance of W, Y is an instance of W, and Z is an instance of W, then equal X(Y and Z) and X(Z and Y)

appearance as argument number 0
-------------------------


(domain instance 1 Entity) Merge.kif 81-81 The number 1 argument of instance is an instance of entity
(domain instance 2 Class) Merge.kif 82-82 The number 2 argument of instance is an instance of class
(domain immediateInstance 1 Entity) Merge.kif 90-90 The number 1 argument of immediate instance is an instance of entity
(domain immediateInstance 2 Class) Merge.kif 91-91 The number 2 argument of immediate instance is an instance of class
(domain inverse 1 BinaryRelation) Merge.kif 111-111 The number 1 argument of inverse is an instance of binary relation
(domain inverse 2 BinaryRelation) Merge.kif 112-112 The number 2 argument of inverse is an instance of binary relation
(domain subclass 1 Class) Merge.kif 131-131 The number 1 argument of subclass is an instance of class
(domain subclass 2 Class) Merge.kif 132-132 The number 2 argument of subclass is an instance of class
(domain immediateSubclass 1 Class) Merge.kif 147-147 The number 1 argument of immediate subclass is an instance of class
(domain immediateSubclass 2 Class) Merge.kif 148-148 The number 2 argument of immediate subclass is an instance of class
(domain subrelation 1 Relation) Merge.kif 165-165 The number 1 argument of subrelation is an instance of relation
(domain subrelation 2 Relation) Merge.kif 166-166 The number 2 argument of subrelation is an instance of relation
(domain domain 1 Relation) Merge.kif 202-202 The number 1 argument of domain is an instance of relation
(domain domain 2 PositiveInteger) Merge.kif 203-203 The number 2 argument of domain is an instance of positive integer
(domain domain 3 Class) Merge.kif 204-204 The number 3 argument of domain is an instance of class
(domain domainSubclass 1 Relation) Merge.kif 224-224 The number 1 argument of domain subclass is an instance of relation
(domain domainSubclass 2 PositiveInteger) Merge.kif 225-225 The number 2 argument of domain subclass is an instance of positive integer
(domain domainSubclass 3 Class) Merge.kif 226-226 The number 3 argument of domain subclass is an instance of class
(domain range 1 Function) Merge.kif 299-299 The number 1 argument of range is an instance of function
(domain range 2 Class) Merge.kif 300-300 The number 2 argument of range is an instance of class
(domain rangeSubclass 1 Function) Merge.kif 326-326 The number 1 argument of range subclass is an instance of function
(domain valence 1 Relation) Merge.kif 353-353 The number 1 argument of valence is an instance of relation
(domain valence 2 PositiveInteger) Merge.kif 354-354 The number 2 argument of valence is an instance of positive integer
(domain documentation 1 Entity) Merge.kif 361-361 The number 1 argument of documentation is an instance of entity
(domain documentation 2 HumanLanguage) Merge.kif 362-362 The number 2 argument of documentation is an instance of human language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners