PartialOrderingRelation

-------------------------


(termFormat ItalianLanguage PartialOrderingRelation "RelazioneDiOrdineParziale") terms-it.txt 110-110
(termFormat JapaneseLanguage PartialOrderingRelation "半順序関係") japanese_format.kif 2262-2262
(termFormat PortugueseLanguage PartialOrderingRelation "Relacao parcialmente Ordenada") portuguese_format.kif 529-529
(termFormat cz PartialOrderingRelation "partial ordering relation") terms-cz.txt 144-144
(termFormat ro PartialOrderingRelation "relaþie de ordine parþialã") relations-ro.kif 598-598
(termFormat tg PartialOrderingRelation "") terms-tg.txt 111-111


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