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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TernaryRelation
TernaryRelation(Relacao Ternaria)

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 2857-2859
(documentation TernaryRelation JapaneseLanguage "TernaryRelations は ３つの項目に関連する。 ２つの TernaryRelation の　subclass は TernaryPredicate と BinaryFunction である。") japanese_format.kif 576-577
(subclass TernaryRelation InheritableRelation) Merge.kif 2855-2855 Relacao Ternaria e' uma sub-classe de InheritableRelation
(subclass TernaryRelation Relation) Merge.kif 2854-2854 Relacao Ternaria e' uma sub-classe de Relacao

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


(instance askPrice TernaryRelation) FinancialOntology.kif 1925-1925 askPrice e' uma instancia de Relacao Ternaria
(instance releaseForSale TernaryRelation) Music.kif 1493-1493 releaseForSale e' uma instancia de Relacao Ternaria
(instance securityQA TernaryRelation) ComputingBrands.kif 4549-4549 securityQA e' uma instancia de Relacao Ternaria
(instance taxDeferredIncome TernaryRelation) FinancialOntology.kif 3304-3304 taxDeferredIncome e' uma instancia de Relacao Ternaria
(subclass BinaryFunction TernaryRelation) Merge.kif 3399-3399 Funcao Binaria e' uma sub-classe de Relacao Ternaria
(subclass TernaryPredicate TernaryRelation) Merge.kif 3490-3490 Predicado Ternario e' uma sub-classe de Relacao Ternaria
(termFormat ChineseLanguage TernaryRelation "三元关系") chinese_format.kif 910-910
(termFormat EnglishLanguage TernaryRelation "ternary relation") english_format.kif 1027-1027
(termFormat FrenchLanguage TernaryRelation "relation ternaire") french_format.kif 586-586
(termFormat Hindi TernaryRelation "tri-angI sambandha") terms-hindi.txt 116-116
(termFormat ItalianLanguage TernaryRelation "RelazioneTernaria") terms-it.txt 119-119
(termFormat JapaneseLanguage TernaryRelation "三進法関係") japanese_format.kif 2271-2271
(termFormat PortugueseLanguage TernaryRelation "Relacao Ternaria") portuguese_format.kif 538-538
(termFormat cz TernaryRelation "ternary relation") terms-cz.txt 153-153
(termFormat ro TernaryRelation "relaþie ternarã") relations-ro.kif 607-607
(termFormat tg TernaryRelation "tatlong magkaugnay") terms-tg.txt 120-120

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2160-2161 Relacao e' disjuntamente decomponivel em Relacao Binaria, Relacao Ternaria, Relacao Quaternaria, Relacao Quinquenaria, + Relacao de aridade variavel


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