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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - QuintaryRelation
QuintaryRelation(5進法関係)

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 2884-2886
(documentation QuintaryRelation JapaneseLanguage "QuaternaryRelation は5つの項目に関連 している。2つの QuaternaryRelationsubclassQuaternaryPredicateQuaternaryFunction である。") japanese_format.kif 581-583
(subclass QuintaryRelation InheritableRelation) Merge.kif 2882-2882 5進法関係InheritableRelationsubclass では
(subclass QuintaryRelation Relation) Merge.kif 2881-2881 5進法関係関係subclass では

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


(instance mixtureRatio QuintaryRelation) Food.kif 1238-1238 mixtureRatio5進法関係instance では
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3477-3477 4変数関数5進法関係subclass では
(subclass QuintaryPredicate QuintaryRelation) Merge.kif 3527-3527 5進述語5進法関係subclass では
(termFormat ChineseLanguage QuintaryRelation "五元关系") chinese_format.kif 912-912 5進述語5進法関係subclass では
(termFormat EnglishLanguage QuintaryRelation "quintary relation") english_format.kif 1031-1031 5進述語5進法関係subclass では
(termFormat FrenchLanguage QuintaryRelation "relation quinternaire") french_format.kif 588-588 5進述語5進法関係subclass では
(termFormat Hindi QuintaryRelation "panchaangI sambandha") terms-hindi.txt 118-118 5進述語5進法関係subclass では
(termFormat ItalianLanguage QuintaryRelation "RelazioneQuinquenaria") terms-it.txt 121-121 5進述語5進法関係subclass では
(termFormat JapaneseLanguage QuintaryRelation "5進法関係") japanese_format.kif 2273-2273 5進述語5進法関係subclass では
(termFormat PortugueseLanguage QuintaryRelation "Relacao Quinquenaria") portuguese_format.kif 540-540 5進述語5進法関係subclass では
(termFormat cz QuintaryRelation "quintary relation") terms-cz.txt 155-155 5進述語5進法関係subclass では
(termFormat de QuintaryRelation "fuenfwertige Relation") terms-de.txt 414-414 5進述語5進法関係subclass では
(termFormat ro QuintaryRelation "relaþie quaternarã") relations-ro.kif 609-609 5進述語5進法関係subclass では
(termFormat tg QuintaryRelation "limang magkaugnay") terms-tg.txt 122-122 5進述語5進法関係subclass では

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


(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) Merge.kif 2171-2172 関係2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係disjointly decomposed


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