SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > domain
Next TernaryPredicate: domainSubclass    Up: TernaryPredicate    Previous TernaryPredicate: distance   

domain
subjectfact 
domaindocumentation Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is 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, etc2001-11-30 13:34:05.0
has axiom 
(=> 
     (domain ?REL 1 ?CLASS)
     (forall (?INST1 ?INST2)
             (=> 
                 (holds ?REL ?INST1 ?INST2)
                 (instance ?INST1 ?CLASS))))
2001-11-30 13:34:05.0
has axiom 
(=> 
     (domain ?REL 1 ?CLASS)
     (forall (?INST1 ?INST2 ?INST3)
             (=> 
                 (holds ?REL ?INST1 ?INST2 ?INST3)
                 (instance ?INST1 ?CLASS))))
2001-11-30 13:34:05.0
has axiom 
(=> 
     (domain ?REL 2 ?CLASS)
     (forall (?INST1 ?INST2)
             (=> 
                 (holds ?REL ?INST1 ?INST2)
                 (instance ?INST2 ?CLASS))))
2001-11-30 13:34:05.0
has axiom 
(=> 
     (domain ?REL 2 ?CLASS)
     (forall (?INST1 ?INST2 ?INST3)
             (=> 
                 (holds ?REL ?INST1 ?INST2 ?INST3)
                 (instance ?INST2 ?CLASS))))
2001-11-30 13:34:05.0
has axiom 
(=> 
     (domain ?REL 3 ?CLASS)
     (forall (?INST1 ?INST2 ?INST3)
             (=> 
                 (holds ?REL ?INST1 ?INST2 ?INST3)
                 (instance ?INST3 ?CLASS))))
2001-11-30 13:34:05.0
has axiom 
(=>
    (and
       (subrelation ?PRED1 ?PRED2)
       (domain ?PRED2 ?NUMBER ?CLASS2)
       (domain ?PRED1 ?NUMBER ?CLASS1))
    (subclass ?CLASS1 ?CLASS2))
2001-11-30 13:34:06.0
has axiom 
(=>
    (instance ?FUNCTION TimeDependentQuantity)
    (domain ?FUNCTION 1 TimeMeasure))
2001-11-30 13:34:06.0
has axiom 
(=>
    (instance ?FUNCTION UnaryConstantFunctionQuantity)
    (and
       (domain ?FUNCTION 1 ConstantQuantity)
       (range ?FUNCTION ConstantQuantity)))
2001-11-30 13:34:06.0
has axiom 
(forall (?INT) (domain disjointDecomposition ?INT Class))
2001-11-30 13:34:06.0
has axiom 
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
2001-11-30 13:34:06.0
has domain1 Relation2001-11-30 13:34:06.0
has domain2 PositiveInteger2001-11-30 13:34:06.0
has domain3 Class2001-11-30 13:34:06.0
is an instance of TernaryPredicate2001-11-30 13:34:06.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next TernaryPredicate: domainSubclass    Up: TernaryPredicate    Previous TernaryPredicate: distance