Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 2036-2036 Positive real number is a subclass of nonnegative real number
(documentation PositiveRealNumber EnglishLanguage "A RealNumber that is greater than zero.") Merge.kif 2038-2039 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 2099-2099 Positive integer is a subclass of positive real number
(instance Pi PositiveRealNumber) Merge.kif 5154-5154 Pi is an instance of positive real number
(instance NumberE PositiveRealNumber) Merge.kif 5160-5160 Number e is an instance of positive real number
(termFormat EnglishLanguage PositiveRealNumber "positive real number") english_format.kif 934-934 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 2121-2121 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 1131-1131 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 2041-2045 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 5313-5315 If X is an instance of positive real number, then equal the sign of X and 1

consequent
-------------------------


(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (instance ?VALUE PositiveRealNumber))		 Geography.kif 3804-3806 If the measure of X is Y richter magnitude(s), then Y is an instance of positive real number


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners