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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 2785-2787
(subclass TernaryRelation InheritableRelation) Merge.kif 2783-2783
(subclass TernaryRelation Relation) Merge.kif 2782-2782

appearance as argument number 2

(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 4512-4512
(instance speedScaleAttributeMinMax TernaryRelation) Weather.kif 2127-2127
(instance trusts TernaryRelation) Law.kif 398-398
(instance utterance TernaryRelation) emotion.kif 188-188
(subclass BinaryFunction TernaryRelation) Merge.kif 3327-3327
(subclass TernaryPredicate TernaryRelation) Merge.kif 3418-3418
(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 2100-2101

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