(range PPSFn RealNumber)	UXExperimentalTerms.kif 3049-3049	Le domaine de PPSFn est une instance de nombre r�el
(range PathWeightFn RealNumber)	Merge.kif 5973-5973	Le domaine de PathWeightFn est une instance de nombre r�el
(range PopulationGrowthFn RealNumber)	People.kif 38-38	Le domaine de PopulationGrowthFn est une instance de nombre r�el
(range ProbabilityFn RealNumber)	Merge.kif 2574-2574	Le domaine de ProbabilityFn est une instance de nombre r�el
(range RealNumberFn RealNumber)	Merge.kif 5062-5062	Le domaine de RealNumberFn est une instance de nombre r�el
(range ReciprocalFn RealNumber)	Merge.kif 5071-5071	Le domaine de ReciprocalFn est une instance de nombre r�el
(range RoundFn RealNumber)	Merge.kif 5171-5171	Le domaine de RoundFn est une instance de nombre r�el
(range SRPEngagementFn RealNumber)	UXExperimentalTerms.kif 3713-3713	Le domaine de SRPEngagementFn est une instance de nombre r�el
(range SineFn RealNumber)	Merge.kif 5212-5212	Le domaine de SineFn est une instance de nombre r�el
(range SquareRootFn RealNumber)	Merge.kif 5220-5220	Le domaine de SquareRootFn est une instance de nombre r�el
(range SubtractionFn RealNumber)	Merge.kif 4728-4728	Le domaine de SubtractionFn est une instance de nombre r�el
(range TangentFn RealNumber)	Merge.kif 5232-5232	Le domaine de TangentFn est une instance de nombre r�el
(subclass BinaryNumber RealNumber)	Merge.kif 2003-2003	Nombre binaire est une sous-classe de nombre r�el
(subclass IrrationalNumber RealNumber)	Merge.kif 1916-1916	Nombre irrationnel est une sous-classe de nombre r�el
(subclass NegativeRealNumber RealNumber)	Merge.kif 1943-1943	Nombre r�el n�gatif est une sous-classe de nombre r�el
(subclass NonnegativeRealNumber RealNumber)	Merge.kif 1921-1921	Nombre r�el non n�gatif est une sous-classe de nombre r�el
(subclass RationalNumber RealNumber)	Merge.kif 1911-1911	Nombre rationnel est une sous-classe de nombre r�el
(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