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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryRelation
TernaryRelation

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


(documentation TernaryRelation ChineseLanguage "TernaryRelation 连接三个项目, TernaryRelation 的两个 subclassTernaryPredicateBinaryFunction。") 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 2130-2130
(instance attitudeForObject TernaryRelation) emotion.kif 2123-2123
(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 1486-1486
(instance securityQA TernaryRelation) ComputingBrands.kif 4513-4513
(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 3413-3413
(termFormat ChineseLanguage TernaryRelation "三元关系") chinese_format.kif 910-910
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 1027-1027

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


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


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 is open source software produced by Articulate Software and its partners