SUMO View all facts Glossary Help| SUMO View all facts Glossary Help |
| Entity > Abstract > Class > Relation > Predicate > QuaternaryPredicate |
  | ||||
| QuaternaryPredicate | ||||
| subject | fact | |||
| QuaternaryPredicate | documentation The Class of Predicates that require four arguments |  |
has axiom (=> | | |
| is a kind of Predicate | | |
| is a kind of QuaternaryRelation | | |
| 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 | |