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


KB Term:  Term intersection
English Word: 

Sigma KEE - PositiveRealNumber
PositiveRealNumber(positive real number)
direct_correlation, fifty_percent, pct, per_centum, percent, percentage, positive, positive_correlation

appearance as argument number 1
-------------------------


(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1967-1967 Positive real number is a subclass of nonnegative real number
(documentation PositiveRealNumber EnglishLanguage "A RealNumber that is greater than zero.") Merge.kif 1969-1970 Positive real number is a subclass of nonnegative real number
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10197-10197 Positive real number is a subclass of nonnegative real number
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") pictureList.kif 11641-11641 Positive real number is a subclass of nonnegative real number

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


(subclass PositiveInteger PositiveRealNumber) Merge.kif 2030-2030 Positive integer is a subclass of positive real number
(instance Pi PositiveRealNumber) Merge.kif 5094-5094 Pi is an instance of positive real number
(instance NumberE PositiveRealNumber) Merge.kif 5100-5100 Number e is an instance of positive real number
(termFormat EnglishLanguage PositiveRealNumber "positive real number") english_format.kif 930-930 Number e is an instance of positive real number

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


(domain exportPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2756-2756 The number 3 argument of export partner by fraction in period is an instance of positive real number
(domain exportPartnerByFraction 3 PositiveRealNumber) Economy.kif 2772-2772 The number 3 argument of export partner by fraction is an instance of positive real number
(domain importPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 3046-3046 The number 3 argument of import partner by fraction in period is an instance of positive real number
(domain importPartnerByFraction 3 PositiveRealNumber) Economy.kif 3062-3062 The number 3 argument of import partner by fraction is an instance of positive real number
(domain comparativeArea 3 PositiveRealNumber) Geography.kif 2125-2125 The number 3 argument of comparative area is an instance of positive real number
(domain clothesWasherWaterFactor 2 PositiveRealNumber) HouseholdAppliances.kif 1513-1513 The number 2 argument of clothes washer water factor is an instance of positive real number
(domain clothesWasherModifiedEnergyFactor 2 PositiveRealNumber) HouseholdAppliances.kif 1607-1607 The number 2 argument of clothes washer modified energy factor is an instance of positive real number
(domain averageChargerEnergyRatio 2 PositiveRealNumber) HouseholdAppliances.kif 1835-1835 The number 2 argument of average charger energy ratio is an instance of positive real number
(domain thresholdOf 2 PositiveRealNumber) QoSontology.kif 1139-1139 The number 2 argument of threshold of is an instance of positive real number

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


(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1972-1976 X is an instance of positive real number if, only if X is greater than 0, and X is an instance of real number
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))		 Merge.kif 5253-5255 If X is an instance of positive real number, then equal the sign of X and 1