SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > domainSubclass |
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 | (=> | TernaryRelation | ||||
domainSubclass | Class | PositiveInteger | Relation | Predicate 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 | (=> | TernaryPredicate |
Next TernaryPredicate: hasPurposeForAgent Up: TernaryPredicate Previous TernaryPredicate: domain