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 2791-2793
(subclass TernaryRelation InheritableRelation) Merge.kif 2789-2789
(subclass TernaryRelation Relation) Merge.kif 2788-2788

appearance as argument number 2

(instance askPrice TernaryRelation) FinancialOntology.kif 1934-1934
(instance attitudeForFormula TernaryRelation) emotion.kif 2122-2122
(instance attitudeForObject TernaryRelation) emotion.kif 2115-2115
(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 taxDeferredIncome TernaryRelation) FinancialOntology.kif 3310-3310
(instance trusts TernaryRelation) Law.kif 398-398
(instance utterance TernaryRelation) emotion.kif 188-188
(subclass BinaryFunction TernaryRelation) Merge.kif 3333-3333
(subclass TernaryPredicate TernaryRelation) Merge.kif 3424-3424
(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 2106-2107

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