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 2746-2748
(subclass TernaryRelation InheritableRelation) Merge.kif 2744-2744 subclass TernaryRelation and InheritableRelation
(subclass TernaryRelation Relation) Merge.kif 2743-2743 subclass TernaryRelation and Relation

appearance as argument number 2

(instance askPrice TernaryRelation) FinancialOntology.kif 1861-1861 instance askPrice and TernaryRelation
(instance attitudeForFormula TernaryRelation) emotion.kif 2020-2020 instance attitudeForFormula and TernaryRelation
(instance attitudeForObject TernaryRelation) emotion.kif 2013-2013 instance attitudeForObject and TernaryRelation
(instance counselInCase TernaryRelation) Law.kif 500-500 instance counselInCase and TernaryRelation
(instance customerValue TernaryRelation) UXExperimentalTerms.kif 1471-1471 instance customerValue and TernaryRelation
(instance distrusts TernaryRelation) Law.kif 409-409 instance distrusts and TernaryRelation
(instance ingredientAmount TernaryRelation) Food.kif 64-64 instance ingredientAmount and TernaryRelation
(instance molecularRatio TernaryRelation) Cars.kif 1759-1759 instance molecularRatio and TernaryRelation
(instance pastTense TernaryRelation) emotion.kif 195-195 instance pastTense and TernaryRelation
(instance qoSSlack TernaryRelation) QoSontology.kif 1198-1198 instance qoSSlack and TernaryRelation
(instance releaseForSale TernaryRelation) Music.kif 1485-1485 instance releaseForSale and TernaryRelation
(instance securityQA TernaryRelation) ComputingBrands.kif 4474-4474 instance securityQA and TernaryRelation
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3202-3202 instance taxDeferredIncome and TernaryRelation
(instance trusts TernaryRelation) Law.kif 398-398 instance trusts and TernaryRelation
(instance utterance TernaryRelation) emotion.kif 188-188 instance utterance and TernaryRelation
(subclass BinaryFunction TernaryRelation) Merge.kif 3245-3245 subclass BinaryFunction and TernaryRelation
(subclass TernaryPredicate TernaryRelation) Merge.kif 3335-3335 subclass TernaryPredicate and TernaryRelation
(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 2068-2069 disjointDecomposition Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation

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