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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveRealNumber

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 1934-1935
(documentation PositiveRealNumber JapaneseLanguage "ゼロより大きい RealNumber 。") japanese_format.kif 354-354
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ d/ dc/ Reelle_Zahlengerade_mit_Konstanten.png") pictureList.kif 11648-11648
(externalImage PositiveRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 10199-10199
(subclass PositiveRealNumber NonnegativeRealNumber) Merge.kif 1932-1932 正の実数非負実数subclass では %n

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


(instance NumberE PositiveRealNumber) Merge.kif 5048-5048 ナンバー e正の実数instance では %n
(instance Pi PositiveRealNumber) Merge.kif 5042-5042 パイ正の実数instance では %n
(subclass PositiveInteger PositiveRealNumber) Merge.kif 1995-1995 正の整数正の実数subclass では %n
(termFormat ChineseLanguage PositiveRealNumber "正实数") chinese_format.kif 864-864
(termFormat EnglishLanguage PositiveRealNumber "positive real number") english_format.kif 930-930
(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 73-73
(termFormat JapaneseLanguage PositiveRealNumber "正の実数") japanese_format.kif 2225-2225
(termFormat PortugueseLanguage PositiveRealNumber "Numero Real positivo") portuguese_format.kif 492-492
(termFormat cz PositiveRealNumber "positive real number") terms-cz.txt 107-107
(termFormat ro PositiveRealNumber "numãr real pozitiv") relations-ro.kif 561-561
(termFormat tg PositiveRealNumber "Positibong tunay na numero") terms-tg.txt 74-74

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


(domain comparativeArea 3 PositiveRealNumber) Geography.kif 649-649 comparativeArea の数値 3 引数は 正の実数instance では %n
(domain exportPartnerByFraction 3 PositiveRealNumber) Economy.kif 2537-2537 exportPartnerByFraction の数値 3 引数は 正の実数instance では %n
(domain exportPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2521-2521 exportPartnerByFractionInPeriod の数値 3 引数は 正の実数instance では %n
(domain importPartnerByFraction 3 PositiveRealNumber) Economy.kif 2730-2730 importPartnerByFraction の数値 3 引数は 正の実数instance では %n
(domain importPartnerByFractionInPeriod 3 PositiveRealNumber) Economy.kif 2714-2714 importPartnerByFractionInPeriod の数値 3 引数は 正の実数instance では %n
(domain thresholdOf 2 PositiveRealNumber) QoSontology.kif 1035-1035 thresholdOf の数値 2 引数は 正の実数instance では %n

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


(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1937-1941 実数正の実数instance では %n 実数 は 0 より greater では %n 実数実数instance では %n
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal
        (SignumFn ?NUMBER) 1))
Merge.kif 5201-5203

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


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


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 3.0 is open source software produced by Articulate Software and its partners