TreeView Knowledge Base Browser - PositiveRealNumber

appearance as argument number 1

(documentation PositiveRealNumber ChineseLanguage "这是一个大于零的 RealNumber。")	chinese_format.kif 1746-1746
(documentation PositiveRealNumber EnglishLanguage "A RealNumber that is greater than zero.")	Merge.kif 1934-1935
(documentation PositiveRealNumber JapaneseLanguage "ゼロより大きい RealNumber 。")	japanese_format.kif 354-354
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png")	pictureList.kif 11648-11648
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png")	pictureList.kif 10199-10199
(subclass PositiveRealNumber NonnegativeRealNumber)	Merge.kif 1932-1932	PositiveRealNumber ist eine teilkategorie von NonnegativeRealNumber

appearance as argument number 2

(instance NumberE PositiveRealNumber)	Merge.kif 5048-5048	NumberE ist ein fall von PositiveRealNumber %n{nicht}
(instance Pi PositiveRealNumber)	Merge.kif 5042-5042	Pi ist ein fall von PositiveRealNumber %n{nicht}
(subclass PositiveInteger PositiveRealNumber)	Merge.kif 1995-1995	PositiveInteger ist eine teilkategorie von PositiveRealNumber
(termFormat ChineseLanguage PositiveRealNumber "正实数")	chinese_format.kif 864-864
(termFormat EnglishLanguage PositiveRealNumber "positive real number")	english_format.kif 930-930
(termFormat FrenchLanguage PositiveRealNumber "nombre r�el positif")	french_format.kif 540-540
(termFormat Hindi PositiveRealNumber "dhanaatmaka vaastavika anka")	terms-hindi.txt 70-70
(termFormat ItalianLanguage PositiveRealNumber "NumeroRealePositivo")	terms-it.txt 73-73
(termFormat JapaneseLanguage PositiveRealNumber "正の実数")	japanese_format.kif 2225-2225
(termFormat PortugueseLanguage PositiveRealNumber "Numero Real positivo")	portuguese_format.kif 492-492
(termFormat cz PositiveRealNumber "positive real number")	terms-cz.txt 107-107
(termFormat ro PositiveRealNumber "numãr real pozitiv")	relations-ro.kif 561-561
(termFormat tg PositiveRealNumber "Positibong tunay na numero")	terms-tg.txt 74-74

appearance as argument number 3

(domain comparativeArea 3 PositiveRealNumber)	Geography.kif 649-649	Die Zahl 3 Argument von comparativeArea ist ein fall von PositiveRealNumber %n{nicht}
(domain exportPartnerByFraction 3 PositiveRealNumber)	Economy.kif 2537-2537	Die Zahl 3 Argument von exportPartnerByFraction ist ein fall von PositiveRealNumber %n{nicht}
(domain exportPartnerByFractionInPeriod 3 PositiveRealNumber)	Economy.kif 2521-2521	Die Zahl 3 Argument von exportPartnerByFractionInPeriod ist ein fall von PositiveRealNumber %n{nicht}
(domain importPartnerByFraction 3 PositiveRealNumber)	Economy.kif 2730-2730	Die Zahl 3 Argument von importPartnerByFraction ist ein fall von PositiveRealNumber %n{nicht}
(domain importPartnerByFractionInPeriod 3 PositiveRealNumber)	Economy.kif 2714-2714	Die Zahl 3 Argument von importPartnerByFractionInPeriod ist ein fall von PositiveRealNumber %n{nicht}
(domain thresholdOf 2 PositiveRealNumber)	QoSontology.kif 1035-1035	Die Zahl 2 Argument von thresholdOf ist ein fall von PositiveRealNumber %n{nicht}

antecedent

(<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1937-1941	RealNumber ist ein fall von PositiveRealNumber %n{nicht} genau dann wenn RealNumber ist groesserAls 0 %n{nicht} und RealNumber ist ein fall von RealNumber %n{nicht}
(=> (instance ?NUMBER PositiveRealNumber) (equal (SignumFn ?NUMBER) 1))	Merge.kif 5201-5203	Wenn RealNumber ist ein fall von PositiveRealNumber %n{nicht}, dann das zeichen von ** RealNumber ist gleich 1 %n{nicht}

consequent

(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (instance ?VALUE PositiveRealNumber))

Geography.kif 2349-2351