(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	greater than is trichotomizing on real number
(trichotomizingOn greaterThanOrEqualTo RealNumber)	Merge.kif 1876-1876	greater than or equal to is trichotomizing on real number
(trichotomizingOn lessThan RealNumber)	Merge.kif 1835-1835	less than is trichotomizing on real number
(trichotomizingOn lessThanOrEqualTo RealNumber)	Merge.kif 1859-1859	less than or equal to is trichotomizing on real number

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