Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PositiveRealNumber
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