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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryRelation
QuaternaryRelation(四元关系)

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


(documentation QuaternaryRelation ChineseLanguage "QuaternaryRelation 连接四个项目。 QuaternaryRelation 的两个 subclass 是 QuaternaryPredicate 和 TernaryFunction。") chinese_format.kif 1948-1949
(documentation QuaternaryRelation EnglishLanguage "QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction.") Merge.kif 2862-2864
(documentation QuaternaryRelation JapaneseLanguage "QuaternaryRelation は4つの項目に関連 している。２つの QuaternaryRelation の subclass は QuaternaryPredicate と TernaryFunctionTF である。") japanese_format.kif 578-580
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2860-2860 四元关系 是 可继承的关系 的 subclass
(subclass QuaternaryRelation Relation) Merge.kif 2859-2859 四元关系 是 关系 的 subclass

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


(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3501-3501 四元谓语 是 四元关系 的 subclass
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3451-3451 三元函数 是 四元关系 的 subclass
(termFormat ChineseLanguage QuaternaryRelation "四元关系") chinese_format.kif 911-911 三元函数 是 四元关系 的 subclass
(termFormat EnglishLanguage QuaternaryRelation "quaternary relation") english_format.kif 1029-1029 三元函数 是 四元关系 的 subclass
(termFormat FrenchLanguage QuaternaryRelation "relation quaternaire") french_format.kif 587-587 三元函数 是 四元关系 的 subclass
(termFormat Hindi QuaternaryRelation "chaturangI sambandha") terms-hindi.txt 117-117 三元函数 是 四元关系 的 subclass
(termFormat ItalianLanguage QuaternaryRelation "RelazioneQuaternaria") terms-it.txt 120-120 三元函数 是 四元关系 的 subclass
(termFormat JapaneseLanguage QuaternaryRelation "4変数関係") japanese_format.kif 2272-2272 三元函数 是 四元关系 的 subclass
(termFormat PortugueseLanguage QuaternaryRelation "Relacao Quaternaria") portuguese_format.kif 539-539 三元函数 是 四元关系 的 subclass
(termFormat cz QuaternaryRelation "quaternary relation") terms-cz.txt 154-154 三元函数 是 四元关系 的 subclass
(termFormat de QuaternaryRelation "viewwertige Relation") terms-de.txt 413-413 三元函数 是 四元关系 的 subclass
(termFormat ro QuaternaryRelation "rela&tcedile; quaternarã") relations-ro.kif 608-608 三元函数 是 四元关系 的 subclass
(termFormat tg QuaternaryRelation "apat na magkaugnay") terms-tg.txt 121-121 三元函数 是 四元关系 的 subclass

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2156-2157 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系


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