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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryRelation
TernaryRelation(ternary relation)ternary_relation, 三元关系, 三進法関係

appearance as argument number 1
-------------------------


(documentation TernaryRelation ChineseLanguage "TernaryRelation 连接三个项目, TernaryRelation 的两个 subclassTernaryPredicateBinaryFunction。") Merge.kif 3043-3044
(documentation TernaryRelation EnglishLanguage "TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.") Merge.kif 3040-3042
(subclass TernaryRelation InheritableRelation) Merge.kif 3039-3039 Ternary relation is a subclass of inheritable relation
(subclass TernaryRelation Relation) Merge.kif 3038-3038 Ternary relation is a subclass of relation

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1863-1863 ask price is an instance of ternary relation
(instance counselInCase TernaryRelation) Law.kif 496-496 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 defaultMaxValue TernaryRelation) Merge.kif 18830-18830 defaultMaxValue is an instance of ternary relation
(instance defaultMinValue TernaryRelation) Merge.kif 18815-18815 defaultMinValue is an instance of ternary relation
(instance defaultValue TernaryRelation) Merge.kif 18845-18845 defaultValue is an instance of ternary relation
(instance distrusts TernaryRelation) Law.kif 405-405 distrusts is an instance of ternary relation
(instance ingredientAmount TernaryRelation) Food.kif 113-113 amount of ingredient is an instance of ternary relation
(instance maxValue TernaryRelation) Merge.kif 18799-18799 maxValue is an instance of ternary relation
(instance minValue TernaryRelation) Merge.kif 18784-18784 minValue is an instance of ternary relation
(instance molecularRatio TernaryRelation) Cars.kif 1758-1758 molecularRatio is an instance of ternary relation
(instance physicalDomain TernaryRelation) engineering.kif 275-275 physicalDomain is an instance of ternary relation
(instance qoSSlack TernaryRelation) QoSontology.kif 1188-1188 qoS slack is an instance of ternary relation
(instance releaseForSale TernaryRelation) Music.kif 1491-1491 release for sale is an instance of ternary relation
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3195-3195 tax deferred income is an instance of ternary relation
(instance trusts TernaryRelation) Law.kif 394-394 trusts is an instance of ternary relation
(subclass BinaryFunction TernaryRelation) Merge.kif 3489-3489 Binary function is a subclass of ternary relation
(subclass TernaryPredicate TernaryRelation) Merge.kif 3587-3587 Ternary predicate is a subclass of ternary relation
(termFormat ChineseLanguage TernaryRelation "三元关系") chinese_format.kif 910-910 "三元关系" is the printable form of ternary relation in ChineseLanguage
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 796-796 "ternary relation" is the printable form of ternary relation in english language
(termFormat JapaneseLanguage TernaryRelation "三進法関係") english_format.kif 797-797 "三進法関係" is the printable form of ternary relation in japanese language

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2279-2280 Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation


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