SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > QuintaryPredicate
Next PredicateSententialOperator    UpPredicate, QuintaryRelation    Previous PredicateQuaternaryPredicate   

QuintaryPredicate
subjectfact 
QuintaryPredicatedocumentation The Class of Predicates that require five arguments2001-11-30 13:35:07.0
has axiom
(=>
(instance ?REL QuintaryPredicate)
(valence ?REL 5))
2001-11-30 13:35:07.0
is a kind of Predicate2001-11-30 13:35:07.0
is a kind of QuintaryRelation2001-11-30 13:35:07.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0