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


KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryRelation
TernaryRelation(ternary relation)

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


(subclass TernaryRelation Relation) Merge.kif 2965-2965 Ternary relation is a subclass of relation
(subclass TernaryRelation InheritableRelation) Merge.kif 2966-2966 Ternary relation is a subclass of inheritable relation
(documentation TernaryRelation EnglishLanguage "TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.") Merge.kif 2968-2970 Ternary relation is a subclass of inheritable relation

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


(subclass BinaryFunction TernaryRelation) Merge.kif 3512-3512 Binary function is a subclass of ternary relation
(subclass TernaryPredicate TernaryRelation) Merge.kif 3603-3603 Ternary predicate is a subclass of ternary relation
(instance securityQA TernaryRelation) ComputingBrands.kif 4460-4460 security QA is an instance of ternary relation
(instance askPrice TernaryRelation) FinancialOntology.kif 1972-1972 ask price is an instance of ternary relation
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3361-3361 tax deferred income is an instance of ternary relation
(instance releaseForSale TernaryRelation) Music.kif 1501-1501 release for sale is an instance of ternary relation
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 1031-1031 release for sale is an instance of ternary relation

appearance as argument number 3
-------------------------


(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