SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > QuaternaryRelation |
QuaternaryRelation comparison table |
Subject | documentation | be first domain of | have axiom |
---|---|---|---|
QuaternaryPredicate | The Class of Predicates that require four arguments | singleValued | (=> |
TernaryFunction | The Class of Functions that require exactly three arguments | rangeSubclass | (=> |
Next Relation: QuintaryRelation Up: Relation Previous Relation: ProbabilityRelation