Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TernaryRelation

Sigma KEE - TernaryRelation
TernaryRelation(ternary relation)

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 Ternary relation is a subclass of inheritable relation
(subclass TernaryRelation Relation) Merge.kif 2788-2788 Ternary relation is a subclass of relation

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1934-1934 ask price is an instance of ternary relation
(instance attitudeForFormula TernaryRelation) emotion.kif 2122-2122 attitudeForFormula is an instance of ternary relation
(instance attitudeForObject TernaryRelation) emotion.kif 2115-2115 attitudeForObject is an instance of ternary relation
(instance counselInCase TernaryRelation) Law.kif 500-500 counsel in case is an instance of ternary relation
(instance customerValue TernaryRelation) UXExperimentalTerms.kif 1474-1474 customer value is an instance of ternary relation
(instance distrusts TernaryRelation) Law.kif 409-409 distrusts is an instance of ternary relation
(instance ingredientAmount TernaryRelation) Food.kif 46-46 amount of ingredient is an instance of ternary relation
(instance molecularRatio TernaryRelation) Cars.kif 1763-1763 molecularRatio is an instance of ternary relation
(instance pastTense TernaryRelation) emotion.kif 195-195 pastTense is an instance of ternary relation
(instance qoSSlack TernaryRelation) QoSontology.kif 1198-1198 qoS slack is an instance of ternary relation
(instance releaseForSale TernaryRelation) Music.kif 1486-1486 release for sale is an instance of ternary relation
(instance securityQA TernaryRelation) ComputingBrands.kif 4512-4512 securityQA is an instance of ternary relation
(instance speedScaleAttributeMinMax TernaryRelation) Weather.kif 2127-2127 speed scale attribute min max is an instance of ternary relation
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3310-3310 tax deferred income is an instance of ternary relation
(instance trusts TernaryRelation) Law.kif 398-398 trusts is an instance of ternary relation
(instance utterance TernaryRelation) emotion.kif 188-188 utterance is an instance of ternary relation
(subclass BinaryFunction TernaryRelation) Merge.kif 3333-3333 Binary function is a subclass of ternary relation
(subclass TernaryPredicate TernaryRelation) Merge.kif 3424-3424 Ternary predicate is a subclass of ternary relation
(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 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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