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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TernaryRelation

 Sigma KEE - TernaryRelation
TernaryRelation

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


(documentation TernaryRelation ChineseLanguage "TernaryRelation 连接三个项目， TernaryRelation 的两个 subclass 是 TernaryPredicate 和 BinaryFunction。") chinese_format.kif 1946-1947
(documentation TernaryRelation EnglishLanguage "TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.") Merge.kif 2786-2788
(subclass TernaryRelation InheritableRelation) Merge.kif 2784-2784
(subclass TernaryRelation Relation) Merge.kif 2783-2783

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1895-1895
(instance attitudeForFormula TernaryRelation) emotion.kif 2118-2118
(instance attitudeForObject TernaryRelation) emotion.kif 2111-2111
(instance counselInCase TernaryRelation) Law.kif 500-500
(instance customerValue TernaryRelation) UXExperimentalTerms.kif 1474-1474
(instance distrusts TernaryRelation) Law.kif 409-409
(instance ingredientAmount TernaryRelation) Food.kif 46-46
(instance molecularRatio TernaryRelation) Cars.kif 1763-1763
(instance pastTense TernaryRelation) emotion.kif 195-195
(instance qoSSlack TernaryRelation) QoSontology.kif 1198-1198
(instance releaseForSale TernaryRelation) Music.kif 1485-1485
(instance securityQA TernaryRelation) ComputingBrands.kif 4520-4520
(instance speedScaleAttributeMinMax TernaryRelation) Weather.kif 2121-2121
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3265-3265
(instance trusts TernaryRelation) Law.kif 398-398
(instance utterance TernaryRelation) emotion.kif 188-188
(subclass BinaryFunction TernaryRelation) Merge.kif 3322-3322
(subclass TernaryPredicate TernaryRelation) Merge.kif 3412-3412
(termFormat ChineseLanguage TernaryRelation "三元关系") chinese_format.kif 910-910
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 1032-1032

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2107-2108


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners