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 2753-2755
(subclass TernaryRelation InheritableRelation) Merge.kif 2751-2751
(subclass TernaryRelation Relation) Merge.kif 2750-2750

appearance as argument number 2

(instance askPrice TernaryRelation) FinancialOntology.kif 1895-1895
(instance attitudeForFormula TernaryRelation) emotion.kif 2059-2059
(instance attitudeForObject TernaryRelation) emotion.kif 2052-2052
(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 64-64
(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 3289-3289
(subclass TernaryPredicate TernaryRelation) Merge.kif 3379-3379
(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 2074-2075

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