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