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 1934-1935
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 354-354
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11648-11648
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10199-10199
No TPTP formula. May not be expressible in strict first order. Merge.kif 1932-1932 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 5048-5048 Number e is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5042-5042 Pi is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1995-1995 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 540-540
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 70-70
No TPTP formula. May not be expressible in strict first order. terms-it.txt 73-73
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2225-2225
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 492-492
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 107-107
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 561-561
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 74-74

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 649-649 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 2537-2537 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 2521-2521 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 2730-2730 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 2714-2714 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 1035-1035 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 1937-1941 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 5201-5203

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


No TPTP formula. May not be expressible in strict first order. 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