(termFormat cb RealNumber "nomerong tinuod")	terms-cb.txt 70-70
(termFormat cz RealNumber "real number")	terms-cz.txt 102-102
(termFormat ro RealNumber "numãr real")	relations-ro.kif 556-556
(termFormat tg RealNumber "tunay na numero")	terms-tg.txt 69-69
(trichotomizingOn greaterThan RealNumber)	Merge.kif 1847-1847	greaterThan est trichotomiz� en nombre r�el
(trichotomizingOn greaterThanOrEqualTo RealNumber)	Merge.kif 1876-1876	greaterThanOrEqualTo est trichotomiz� en nombre r�el
(trichotomizingOn lessThan RealNumber)	Merge.kif 1835-1835	lessThan est trichotomiz� en nombre r�el
(trichotomizingOn lessThanOrEqualTo RealNumber)	Merge.kif 1859-1859	lessThanOrEqualTo est trichotomiz� en nombre r�el

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