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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveRealNumber

Sigma KEE - PositiveRealNumber
PositiveRealNumber
عَدَد حَقِيقِي مُوْجِب, NumeroRealePositivo, Numero_Real_positivo, Positibong_tunay_na_numero, dhanaatmaka_vaastavika_anka, direct_correlation, fifty_percent, nombre_r�el_positif, pct, per_centum, percent, percentage, positive, positive_correlation, positive_real_number, 正实数

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


(documentation PositiveRealNumber ChineseLanguage "这是一个大于零的 RealNumber。") Merge.kif 1994-1994
(documentation PositiveRealNumber EnglishLanguage "A RealNumber that is greater than zero.") Merge.kif 1992-1993
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") pictureList.kif 11675-11675
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10220-10220
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1991-1991

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


(instance NumberE PositiveRealNumber) Merge.kif 5186-5186
(instance Pi PositiveRealNumber) Merge.kif 5179-5179
(subclass PositiveInteger PositiveRealNumber) Merge.kif 2054-2054
(termFormat ChineseLanguage PositiveRealNumber "正实数") chinese_format.kif 864-864
(termFormat EnglishLanguage PositiveRealNumber "positive real number") english_format.kif 551-551
(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 71-71
(termFormat PortugueseLanguage PositiveRealNumber "Numero Real positivo") portuguese_format.kif 492-492
(termFormat ar PositiveRealNumber "عَدَد حَقِيقِي مُوْجِب") arabic_format.kif 276-276
(termFormat cz PositiveRealNumber "positive real number") terms-cz.txt 107-107
(termFormat tg PositiveRealNumber "Positibong tunay na numero") terms-tg.txt 74-74

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


(domain comparativeArea 3 PositiveRealNumber) Geography.kif 645-645
(domain exportPartnerByFraction 3 PositiveRealNumber) Economy.kif 2540-2540
(domain exportPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2524-2524
(domain importPartnerByFraction 3 PositiveRealNumber) Economy.kif 2733-2733
(domain importPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2717-2717
(domain thresholdOf 2 PositiveRealNumber) QoSontology.kif 1014-1014

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


(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1996-2000
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))
Merge.kif 5309-5311

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


(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (instance ?VALUE PositiveRealNumber))
Geography.kif 2280-2282


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners