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


KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryRelation
TernaryRelation(ternary relation)

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


(documentation TernaryRelation ChineseLanguage "TernaryRelation 连接三个项目， TernaryRelation 的两个 subclass 是 TernaryPredicate 和 BinaryFunction。") chinese_format.kif 1946-1947
(documentation TernaryRelation EnglishLanguage "TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction.") Merge.kif 2895-2897
(documentation TernaryRelation JapaneseLanguage "TernaryRelations は ３つの項目に関連する。 ２つの TernaryRelation の　subclass は TernaryPredicate と BinaryFunction である。") japanese_format.kif 576-577
(subclass TernaryRelation InheritableRelation) Merge.kif 2893-2893 Ternary relation is a subclass of inheritable relation
(subclass TernaryRelation Relation) Merge.kif 2892-2892 Ternary relation is a subclass of relation

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1942-1942 ask price is an instance of ternary relation
(instance releaseForSale TernaryRelation) Music.kif 1499-1499 release for sale is an instance of ternary relation
(instance securityQA TernaryRelation) ComputingBrands.kif 4544-4544 security QA is an instance of ternary relation
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3321-3321 tax deferred income is an instance of ternary relation
(subclass BinaryFunction TernaryRelation) Merge.kif 3439-3439 Binary function is a subclass of ternary relation
(subclass TernaryPredicate TernaryRelation) Merge.kif 3530-3530 Ternary predicate is a subclass of ternary relation
(termFormat ChineseLanguage TernaryRelation "三元关系") chinese_format.kif 910-910 Ternary predicate is a subclass of ternary relation
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 1027-1027 Ternary predicate is a subclass of ternary relation
(termFormat FrenchLanguage TernaryRelation "relation ternaire") french_format.kif 586-586 Ternary predicate is a subclass of ternary relation
(termFormat Hindi TernaryRelation "tri-angI sambandha") terms-hindi.txt 116-116 Ternary predicate is a subclass of ternary relation
(termFormat ItalianLanguage TernaryRelation "RelazioneTernaria") terms-it.txt 119-119 Ternary predicate is a subclass of ternary relation
(termFormat JapaneseLanguage TernaryRelation "三進法関係") japanese_format.kif 2271-2271 Ternary predicate is a subclass of ternary relation
(termFormat PortugueseLanguage TernaryRelation "Relacao Ternaria") portuguese_format.kif 538-538 Ternary predicate is a subclass of ternary relation
(termFormat cz TernaryRelation "ternary relation") terms-cz.txt 153-153 Ternary predicate is a subclass of ternary relation
(termFormat de TernaryRelation "dreiwertige Relation") terms-de.txt 412-412 Ternary predicate is a subclass of ternary relation
(termFormat ro TernaryRelation "relaþie ternarã") relations-ro.kif 607-607 Ternary predicate is a subclass of ternary relation
(termFormat tg TernaryRelation "tatlong magkaugnay") terms-tg.txt 120-120 Ternary predicate is a subclass of ternary relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2196-2197 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 3.0 is open source software produced by Articulate Software and its partners