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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryRelation
QuaternaryRelation(Relacao Quaternaria)

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


(documentation QuaternaryRelation ChineseLanguage "QuaternaryRelation 连接四个项目。 QuaternaryRelation 的两个 subclassQuaternaryPredicateTernaryFunction。") chinese_format.kif 1948-1949
(documentation QuaternaryRelation EnglishLanguage "QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction.") Merge.kif 2864-2866
(documentation QuaternaryRelation JapaneseLanguage "QuaternaryRelation は4つの項目に関連 している。2つの QuaternaryRelationsubclassQuaternaryPredicateTernaryFunctionTF である。") japanese_format.kif 578-580
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2862-2862 Relacao Quaternaria e' uma sub-classe de InheritableRelation
(subclass QuaternaryRelation Relation) Merge.kif 2861-2861 Relacao Quaternaria e' uma sub-classe de Relacao

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


(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 Predicado Quaternario e' uma sub-classe de Relacao Quaternaria
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3451-3451 Funcao Ternaria e' uma sub-classe de Relacao Quaternaria
(termFormat ChineseLanguage QuaternaryRelation "四元关系") chinese_format.kif 911-911
(termFormat EnglishLanguage QuaternaryRelation "quaternary relation") english_format.kif 1029-1029
(termFormat FrenchLanguage QuaternaryRelation "relation quaternaire") french_format.kif 587-587
(termFormat Hindi QuaternaryRelation "chaturangI sambandha") terms-hindi.txt 117-117
(termFormat ItalianLanguage QuaternaryRelation "RelazioneQuaternaria") terms-it.txt 120-120
(termFormat JapaneseLanguage QuaternaryRelation "4変数関係") japanese_format.kif 2272-2272
(termFormat PortugueseLanguage QuaternaryRelation "Relacao Quaternaria") portuguese_format.kif 539-539
(termFormat cz QuaternaryRelation "quaternary relation") terms-cz.txt 154-154
(termFormat ro QuaternaryRelation "rela&tcedile; quaternarã") relations-ro.kif 608-608
(termFormat tg QuaternaryRelation "apat na magkaugnay") terms-tg.txt 121-121

appearance as argument number 4
-------------------------


(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