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 1874-1875
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") pictureList.kif 11664-11664
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10209-10209
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1872-1872 正实数 是 非负实数 的 subclass

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


(instance NumberE PositiveRealNumber) Merge.kif 4952-4952 常数e 是 正实数 的 instance
(instance Pi PositiveRealNumber) Merge.kif 4946-4946 圆周率 是 正实数 的 instance
(subclass PositiveInteger PositiveRealNumber) Merge.kif 1935-1935 正整数 是 正实数 的 subclass
(termFormat ChineseLanguage PositiveRealNumber "正实数") chinese_format.kif 864-864
(termFormat EnglishLanguage PositiveRealNumber "positive real number") english_format.kif 930-930

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


(domain comparativeArea 3 PositiveRealNumber) Geography.kif 656-656 比较区域 的 3 数量 是 正实数 的 instance
(domain exportPartnerByFraction 3 PositiveRealNumber) Economy.kif 2547-2547 按分数出口合作伙伴 的 3 数量 是 正实数 的 instance
(domain exportPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2531-2531 出口合作伙伴按期间分数 的 3 数量 是 正实数 的 instance
(domain importPartnerByFraction 3 PositiveRealNumber) Economy.kif 2740-2740 按分数进口伙伴 的 3 数量 是 正实数 的 instance
(domain importPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2724-2724 按期间分数进口合作伙伴 的 3 数量 是 正实数 的 instance
(domain thresholdOf 2 PositiveRealNumber) QoSontology.kif 1040-1040 的门槛 的 2 数量 是 正实数 的 instance

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


(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1877-1881 实数 是 正实数 的 instance 若且唯若 那个 实数 是 greaterThan 0 和 那个 实数 是 实数 的 instance
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))		 Merge.kif 5101-5103