|
| (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 | 大于 是 实数 的 trichotomizingOn |
| (trichotomizingOn greaterThanOrEqualTo RealNumber) | Merge.kif 1876-1876 | 大于或等于 是 实数 的 trichotomizingOn |
| (trichotomizingOn lessThan RealNumber) | Merge.kif 1835-1835 | 少于 是 实数 的 trichotomizingOn |
| (trichotomizingOn lessThanOrEqualTo RealNumber) | Merge.kif 1859-1859 | 少于或等于 是 实数 的 trichotomizingOn |
|
|
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