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 1945-1946
(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 11641-11641
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10197-10197
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1943-1943 正实数非负实数subclass

appearance as argument number 2
-------------------------


(instance NumberE PositiveRealNumber) Merge.kif 5076-5076 常数e正实数instance
(instance Pi PositiveRealNumber) Merge.kif 5070-5070 圆周率正实数instance
(subclass PositiveInteger PositiveRealNumber) Merge.kif 2006-2006 正整数正实数subclass
(termFormat ChineseLanguage PositiveRealNumber "正实数") chinese_format.kif 864-864 正整数正实数subclass
(termFormat EnglishLanguage PositiveRealNumber "positive real number") english_format.kif 930-930 正整数正实数subclass
(termFormat FrenchLanguage PositiveRealNumber "nombre r�el positif") french_format.kif 540-540 正整数正实数subclass
(termFormat Hindi PositiveRealNumber "dhanaatmaka vaastavika anka") terms-hindi.txt 70-70 正整数正实数subclass
(termFormat ItalianLanguage PositiveRealNumber "NumeroRealePositivo") terms-it.txt 73-73 正整数正实数subclass
(termFormat JapaneseLanguage PositiveRealNumber "正の実数") japanese_format.kif 2225-2225 正整数正实数subclass
(termFormat PortugueseLanguage PositiveRealNumber "Numero Real positivo") portuguese_format.kif 492-492 正整数正实数subclass
(termFormat cz PositiveRealNumber "positive real number") terms-cz.txt 107-107 正整数正实数subclass
(termFormat de PositiveRealNumber "positive reelle Zahl") terms-de.txt 366-366 正整数正实数subclass
(termFormat ro PositiveRealNumber "numãr real pozitiv") relations-ro.kif 561-561 正整数正实数subclass
(termFormat tg PositiveRealNumber "Positibong tunay na numero") terms-tg.txt 74-74 正整数正实数subclass

appearance as argument number 3
-------------------------


(domain comparativeArea 3 PositiveRealNumber) Geography.kif 782-782 比较区域 的 3 数量 是 正实数instance
(domain exportPartnerByFraction 3 PositiveRealNumber) Economy.kif 2777-2777 按分数出口合作伙伴 的 3 数量 是 正实数instance
(domain exportPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2761-2761 出口合作伙伴按期间分数 的 3 数量 是 正实数instance
(domain importPartnerByFraction 3 PositiveRealNumber) Economy.kif 3067-3067 按分数进口伙伴 的 3 数量 是 正实数instance
(domain importPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 3051-3051 按期间分数进口合作伙伴 的 3 数量 是 正实数instance
(domain thresholdOf 2 PositiveRealNumber) QoSontology.kif 1144-1144 的门槛 的 2 数量 是 正实数instance

antecedent
-------------------------


(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1948-1952 实数正实数instance 若且唯若 那个 实数greaterThan 0 和 那个 实数实数instance
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))
Merge.kif 5229-5231