Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryRelation
QuintaryRelation(quintary relation)

appearance as argument number 1
-------------------------


(subclass QuintaryRelation Relation) Merge.kif 2979-2979 Quintary relation is a subclass of relation
(subclass QuintaryRelation InheritableRelation) Merge.kif 2980-2980 Quintary relation is a subclass of inheritable relation
(documentation QuintaryRelation EnglishLanguage "QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction.") Merge.kif 2982-2984 Quintary relation is a subclass of inheritable relation

appearance as argument number 2
-------------------------


(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3575-3575 Quaternary function is a subclass of quintary relation
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3625-3625 Quintary predicate is a subclass of quintary relation
(instance mixtureRatio QuintaryRelation) Food.kif 1216-1216 mixture ratio is an instance of quintary relation
(termFormat EnglishLanguage QuintaryRelation "quintary relation") english_format.kif 1035-1035 mixture ratio is an instance of quintary relation

appearance as argument number 5
-------------------------


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2270-2271 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners