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 2816-2818
(subclass TernaryRelation InheritableRelation) Merge.kif 2814-2814 三元关系可继承的关系subclass
(subclass TernaryRelation Relation) Merge.kif 2813-2813 三元关系关系subclass

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1939-1939 问价格三元关系instance
(instance attitudeForFormula TernaryRelation) emotion.kif 2122-2122 attitudeForFormula三元关系instance
(instance attitudeForObject TernaryRelation) emotion.kif 2115-2115 attitudeForObject三元关系instance
(instance counselInCase TernaryRelation) Law.kif 499-499 counselInCase三元关系instance
(instance customerValue TernaryRelation) UXExperimentalTerms.kif 1474-1474 customerValue三元关系instance
(instance distrusts TernaryRelation) Law.kif 409-409 distrusts三元关系instance
(instance ingredientAmount TernaryRelation) Food.kif 46-46 ingredientAmount三元关系instance
(instance molecularRatio TernaryRelation) Cars.kif 1763-1763 molecularRatio三元关系instance
(instance pastTense TernaryRelation) emotion.kif 195-195 pastTense三元关系instance
(instance qoSSlack TernaryRelation) QoSontology.kif 1193-1193 qoS松弛三元关系instance
(instance releaseForSale TernaryRelation) Music.kif 1491-1491 releaseForSale三元关系instance
(instance securityQA TernaryRelation) ComputingBrands.kif 4547-4547 securityQA三元关系instance
(instance speedScaleAttributeMinMax TernaryRelation) Weather.kif 2128-2128 时速级数属性最低最高三元关系instance
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3317-3317 税收递延收入三元关系instance
(instance trusts TernaryRelation) Law.kif 398-398 trusts三元关系instance
(instance utterance TernaryRelation) emotion.kif 188-188 utterance三元关系instance
(subclass BinaryFunction TernaryRelation) Merge.kif 3358-3358 二元函数三元关系subclass
(subclass TernaryPredicate TernaryRelation) Merge.kif 3449-3449 三元谓语三元关系subclass
(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 2119-2120 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系


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