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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryRelation
QuaternaryRelation(quaternary relation)

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 2865-2867
(documentation QuaternaryRelation JapaneseLanguage "QuaternaryRelation は4つの項目に関連 している。２つの QuaternaryRelation の subclass は QuaternaryPredicate と TernaryFunctionTF である。") japanese_format.kif 578-580
(subclass QuaternaryRelation InheritableRelation) Merge.kif 2863-2863 Quaternary relation is a subclass of inheritable relation
(subclass QuaternaryRelation Relation) Merge.kif 2862-2862 Quaternary relation is a subclass of relation

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


(subclass QuaternaryPredicate QuaternaryRelation) Merge.kif 3502-3502 Quaternary predicate is a subclass of quaternary relation
(subclass TernaryFunction QuaternaryRelation) Merge.kif 3452-3452 Ternary function is a subclass of quaternary relation
(termFormat ChineseLanguage QuaternaryRelation "四元关系") chinese_format.kif 911-911 Ternary function is a subclass of quaternary relation
(termFormat EnglishLanguage QuaternaryRelation "quaternary relation") english_format.kif 1029-1029 Ternary function is a subclass of quaternary relation
(termFormat FrenchLanguage QuaternaryRelation "relation quaternaire") french_format.kif 587-587 Ternary function is a subclass of quaternary relation
(termFormat Hindi QuaternaryRelation "chaturangI sambandha") terms-hindi.txt 117-117 Ternary function is a subclass of quaternary relation
(termFormat ItalianLanguage QuaternaryRelation "RelazioneQuaternaria") terms-it.txt 120-120 Ternary function is a subclass of quaternary relation
(termFormat JapaneseLanguage QuaternaryRelation "4変数関係") japanese_format.kif 2272-2272 Ternary function is a subclass of quaternary relation
(termFormat PortugueseLanguage QuaternaryRelation "Relacao Quaternaria") portuguese_format.kif 539-539 Ternary function is a subclass of quaternary relation
(termFormat cz QuaternaryRelation "quaternary relation") terms-cz.txt 154-154 Ternary function is a subclass of quaternary relation
(termFormat ro QuaternaryRelation "rela&tcedile; quaternarã") relations-ro.kif 608-608 Ternary function is a subclass of quaternary relation
(termFormat tg QuaternaryRelation "apat na magkaugnay") terms-tg.txt 121-121 Ternary function is a subclass of quaternary relation

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2160-2161 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