|
| (range PPSFn RealNumber) | UXExperimentalTerms.kif 3049-3049 | O contra-dominio de PPSFn e' uma instancia de Numero Real |
| (range PathWeightFn RealNumber) | Merge.kif 5973-5973 | O contra-dominio de PathWeightFn e' uma instancia de Numero Real |
| (range PopulationGrowthFn RealNumber) | People.kif 38-38 | O contra-dominio de PopulationGrowthFn e' uma instancia de Numero Real |
| (range ProbabilityFn RealNumber) | Merge.kif 2574-2574 | O contra-dominio de ProbabilityFn e' uma instancia de Numero Real |
| (range RealNumberFn RealNumber) | Merge.kif 5062-5062 | O contra-dominio de RealNumberFn e' uma instancia de Numero Real |
| (range ReciprocalFn RealNumber) | Merge.kif 5071-5071 | O contra-dominio de ReciprocalFn e' uma instancia de Numero Real |
| (range RoundFn RealNumber) | Merge.kif 5171-5171 | O contra-dominio de RoundFn e' uma instancia de Numero Real |
| (range SRPEngagementFn RealNumber) | UXExperimentalTerms.kif 3713-3713 | O contra-dominio de SRPEngagementFn e' uma instancia de Numero Real |
| (range SineFn RealNumber) | Merge.kif 5212-5212 | O contra-dominio de SineFn e' uma instancia de Numero Real |
| (range SquareRootFn RealNumber) | Merge.kif 5220-5220 | O contra-dominio de SquareRootFn e' uma instancia de Numero Real |
| (range SubtractionFn RealNumber) | Merge.kif 4728-4728 | O contra-dominio de SubtractionFn e' uma instancia de Numero Real |
| (range TangentFn RealNumber) | Merge.kif 5232-5232 | O contra-dominio de TangentFn e' uma instancia de Numero Real |
| (subclass BinaryNumber RealNumber) | Merge.kif 2003-2003 | Numero Binario e' uma sub-classe de Numero Real |
| (subclass IrrationalNumber RealNumber) | Merge.kif 1916-1916 | Numero Irracional e' uma sub-classe de Numero Real |
| (subclass NegativeRealNumber RealNumber) | Merge.kif 1943-1943 | Numero Real negativo e' uma sub-classe de Numero Real |
| (subclass NonnegativeRealNumber RealNumber) | Merge.kif 1921-1921 | Numero Real nao-negativo e' uma sub-classe de Numero Real |
| (subclass RationalNumber RealNumber) | Merge.kif 1911-1911 | Numero Racional e' uma sub-classe de Numero Real |
| (termFormat ChineseLanguage RealNumber "实数") | chinese_format.kif 859-859 | |
| (termFormat EnglishLanguage RealNumber "real number") | english_format.kif 920-920 | |
| (termFormat FrenchLanguage RealNumber "nombre r�el") | french_format.kif 535-535 | |
| (termFormat Hindi RealNumber "vaastavika anka") | terms-hindi.txt 65-65 | |
| (termFormat ItalianLanguage RealNumber "NumeroReale") | terms-it.txt 68-68 | |
| (termFormat JapaneseLanguage RealNumber "実数") | japanese_format.kif 2220-2220 | |
| (termFormat PortugueseLanguage RealNumber "Numero Real") | portuguese_format.kif 487-487 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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