(range PPSFn RealNumber)	UXExperimentalTerms.kif 3049-3049	bildbereich von PPSFn ist ein fall von RealNumber {nicht}
(range PathWeightFn RealNumber)	Merge.kif 5973-5973	bildbereich von PathWeightFn ist ein fall von RealNumber {nicht}
(range PopulationGrowthFn RealNumber)	People.kif 38-38	bildbereich von PopulationGrowthFn ist ein fall von RealNumber {nicht}
(range ProbabilityFn RealNumber)	Merge.kif 2574-2574	bildbereich von Wahrscheinlichkeit ist ein fall von RealNumber {nicht}
(range RealNumberFn RealNumber)	Merge.kif 5062-5062	bildbereich von RealNumberFn ist ein fall von RealNumber {nicht}
(range ReciprocalFn RealNumber)	Merge.kif 5071-5071	bildbereich von ReciprocalFn ist ein fall von RealNumber {nicht}
(range RoundFn RealNumber)	Merge.kif 5171-5171	bildbereich von RoundFn ist ein fall von RealNumber {nicht}
(range SRPEngagementFn RealNumber)	UXExperimentalTerms.kif 3713-3713	bildbereich von SRPEngagementFn ist ein fall von RealNumber {nicht}
(range SineFn RealNumber)	Merge.kif 5212-5212	bildbereich von SineFn ist ein fall von RealNumber {nicht}
(range SquareRootFn RealNumber)	Merge.kif 5220-5220	bildbereich von SquareRootFn ist ein fall von RealNumber {nicht}
(range SubtractionFn RealNumber)	Merge.kif 4728-4728	bildbereich von SubtractionFn ist ein fall von RealNumber {nicht}
(range TangentFn RealNumber)	Merge.kif 5232-5232	bildbereich von TangentFn ist ein fall von RealNumber {nicht}
(subclass BinaryNumber RealNumber)	Merge.kif 2003-2003	BinaryNumber ist eine teilkategorie von RealNumber
(subclass IrrationalNumber RealNumber)	Merge.kif 1916-1916	IrrationalNumber ist eine teilkategorie von RealNumber
(subclass NegativeRealNumber RealNumber)	Merge.kif 1943-1943	NegativeRealNumber ist eine teilkategorie von RealNumber
(subclass NonnegativeRealNumber RealNumber)	Merge.kif 1921-1921	NonnegativeRealNumber ist eine teilkategorie von RealNumber
(subclass RationalNumber RealNumber)	Merge.kif 1911-1911	RationalNumber ist eine teilkategorie von RealNumber
(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