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

domainSubclass comparison table
Subject have domain3 have domain2 have domain1 documentation have axiom is a kind of is an instance of
TernaryPredicate   The Class of Predicates that require exactly three arguments
(=>
 	(instance ?REL TernaryPredicate)
 	(valence ?REL 3))
TernaryRelation 
domainSubclassClassPositiveIntegerRelationPredicate used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is a subclass of ?CLASS
(=> 
     (domainSubclass ?REL 3 ?CLASS)
     (forall (?INST1 ?INST2 ?INST3)
             (=> 
                 (holds ?REL ?INST1 ?INST2 ?INST3)
                 (subclass ?INST3 ?CLASS))))
 TernaryPredicate

Next TernaryPredicate: hasPurposeForAgent    Up: TernaryPredicate    Previous TernaryPredicate: domain