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 2870-2872
(documentation TernaryRelation JapaneseLanguage "TernaryRelations は 3つの項目に関連する。 2つの TernaryRelation の subclassTernaryPredicateBinaryFunction である。") japanese_format.kif 576-577
(subclass TernaryRelation InheritableRelation) Merge.kif 2868-2868 三進法関係InheritableRelationsubclass では
(subclass TernaryRelation Relation) Merge.kif 2867-2867 三進法関係関係subclass では

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1942-1942 askPrice三進法関係instance では
(instance releaseForSale TernaryRelation) Music.kif 1499-1499 releaseForSale三進法関係instance では
(instance securityQA TernaryRelation) ComputingBrands.kif 4544-4544 securityQA三進法関係instance では
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3321-3321 taxDeferredIncome三進法関係instance では
(subclass BinaryFunction TernaryRelation) Merge.kif 3414-3414 2変数関数三進法関係subclass では
(subclass TernaryPredicate TernaryRelation) Merge.kif 3505-3505 3進述語三進法関係subclass では
(termFormat ChineseLanguage TernaryRelation "三元关系") chinese_format.kif 910-910 3進述語三進法関係subclass では
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 1027-1027 3進述語三進法関係subclass では
(termFormat FrenchLanguage TernaryRelation "relation ternaire") french_format.kif 586-586 3進述語三進法関係subclass では
(termFormat Hindi TernaryRelation "tri-angI sambandha") terms-hindi.txt 116-116 3進述語三進法関係subclass では
(termFormat ItalianLanguage TernaryRelation "RelazioneTernaria") terms-it.txt 119-119 3進述語三進法関係subclass では
(termFormat JapaneseLanguage TernaryRelation "三進法関係") japanese_format.kif 2271-2271 3進述語三進法関係subclass では
(termFormat PortugueseLanguage TernaryRelation "Relacao Ternaria") portuguese_format.kif 538-538 3進述語三進法関係subclass では
(termFormat cz TernaryRelation "ternary relation") terms-cz.txt 153-153 3進述語三進法関係subclass では
(termFormat de TernaryRelation "dreiwertige Relation") terms-de.txt 412-412 3進述語三進法関係subclass では
(termFormat ro TernaryRelation "relaþie ternarã") relations-ro.kif 607-607 3進述語三進法関係subclass では
(termFormat tg TernaryRelation "tatlong magkaugnay") terms-tg.txt 120-120 3進述語三進法関係subclass では

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2171-2172 関係2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係disjointly decomposed


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