SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > domainSubclass |
domainSubclass | ||||
subject | fact |
domainSubclass | documentation 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 | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has domain1 Relation | ||
has domain2 PositiveInteger | ||
has domain3 Class | ||
is an instance of TernaryPredicate | ||
Predicate | is first domain of singleValued | |
Relation | is second domain of subrelation | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |