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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryRelation
QuintaryRelation(Relacao Quinquenaria)

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


(documentation QuintaryRelation ChineseLanguage "QuintaryRelation 连接物个项目。 QuintaryRelation 的两个 subclassQuintaryPredicateQuaternaryFunction。") chinese_format.kif 1950-1951
(documentation QuintaryRelation EnglishLanguage "QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction.") Merge.kif 2871-2873
(documentation QuintaryRelation JapaneseLanguage "QuaternaryRelation は5つの項目に関連 している。2つの QuaternaryRelationsubclassQuaternaryPredicateQuaternaryFunction である。") japanese_format.kif 581-583
(subclass QuintaryRelation InheritableRelation) Merge.kif 2869-2869 Relacao Quinquenaria e' uma sub-classe de InheritableRelation
(subclass QuintaryRelation Relation) Merge.kif 2868-2868 Relacao Quinquenaria e' uma sub-classe de Relacao

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


(instance mixtureRatio QuintaryRelation) Food.kif 1237-1237 mixtureRatio e' uma instancia de Relacao Quinquenaria
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3462-3462 Funcao Quaternaria e' uma sub-classe de Relacao Quinquenaria
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3512-3512 Predicado Quinquenario e' uma sub-classe de Relacao Quinquenaria
(termFormat ChineseLanguage QuintaryRelation "五元关系") chinese_format.kif 912-912
(termFormat EnglishLanguage QuintaryRelation "quintary relation") english_format.kif 1031-1031
(termFormat FrenchLanguage QuintaryRelation "relation quinternaire") french_format.kif 588-588
(termFormat Hindi QuintaryRelation "panchaangI sambandha") terms-hindi.txt 118-118
(termFormat ItalianLanguage QuintaryRelation "RelazioneQuinquenaria") terms-it.txt 121-121
(termFormat JapaneseLanguage QuintaryRelation "5進法関係") japanese_format.kif 2273-2273
(termFormat PortugueseLanguage QuintaryRelation "Relacao Quinquenaria") portuguese_format.kif 540-540
(termFormat cz QuintaryRelation "quintary relation") terms-cz.txt 155-155
(termFormat ro QuintaryRelation "relaþie quaternarã") relations-ro.kif 609-609
(termFormat tg QuintaryRelation "limang magkaugnay") terms-tg.txt 122-122

appearance as argument number 5
-------------------------


(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