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。") Merge.kif 4579-4580
(documentation TernaryRelation EnglishLanguage "TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.") Merge.kif 4575-4577
(documentation TernaryRelation JapaneseLanguage "TernaryRelations は 3つの項目に関連する。 2つの TernaryRelation の subclassTernaryPredicateBinaryFunction である。") Merge.kif 4582-4583
(subclass TernaryRelation InheritableRelation) Merge.kif 4573-4573
(subclass TernaryRelation Relation) Merge.kif 4572-4572

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1863-1863
(instance attitudeForFormula TernaryRelation) emotion.kif 2014-2014
(instance attitudeForObject TernaryRelation) emotion.kif 2007-2007
(instance counselInCase TernaryRelation) Law.kif 496-496
(instance customerValue TernaryRelation) UXExperimentalTerms.kif 1474-1474
(instance defaultMaxValue TernaryRelation) Merge.kif 23202-23202
(instance defaultMinValue TernaryRelation) Merge.kif 23187-23187
(instance defaultValue TernaryRelation) Merge.kif 23217-23217
(instance distrusts TernaryRelation) Law.kif 405-405
(instance ingredientAmount TernaryRelation) Food.kif 113-113
(instance maxValue TernaryRelation) Merge.kif 23171-23171
(instance minValue TernaryRelation) Merge.kif 23156-23156
(instance molecularRatio TernaryRelation) Cars.kif 1758-1758
(instance pastTense TernaryRelation) emotion.kif 195-195
(instance physicalDomain TernaryRelation) engineering.kif 275-275
(instance qoSSlack TernaryRelation) QoSontology.kif 1188-1188
(instance releaseForSale TernaryRelation) Music.kif 1491-1491
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3195-3195
(instance trusts TernaryRelation) Law.kif 394-394
(instance utterance TernaryRelation) emotion.kif 188-188
(subclass BinaryFunction TernaryRelation) Merge.kif 5140-5140
(subclass TernaryPredicate TernaryRelation) Merge.kif 5278-5278
(termFormat ChineseLanguage TernaryRelation "三元关系") chinese_format.kif 910-910
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 1428-1428
(termFormat JapaneseLanguage TernaryRelation "三進法関係") english_format.kif 1429-1429

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 3515-3516


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners