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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveRealNumber

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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1746-1746
No TPTP formula. May not be expressible in strict first order. Merge.kif 1874-1875
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11664-11664
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10209-10209
No TPTP formula. May not be expressible in strict first order. Merge.kif 1872-1872 Positive real number is a subclass of nonnegative real number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4952-4952 Number e is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4946-4946 Pi is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1935-1935 Positive integer is a subclass of positive real number
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 864-864
No TPTP formula. May not be expressible in strict first order. english_format.kif 930-930

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 656-656 The number 3 argument of comparative area is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2547-2547 The number 3 argument of export partner by fraction is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2531-2531 The number 3 argument of export partner by fraction in period is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2740-2740 The number 3 argument of import partner by fraction is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2724-2724 The number 3 argument of import partner by fraction in period is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1040-1040 The number 2 argument of threshold of is an instance of positive real number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1877-1881 A real number is an instance of positive real number if and only if the real number is greater than 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5101-5103

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2352-2354


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