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。") 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners