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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NumberE

 Sigma KEE - NumberE
NumberE(number e)e

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2257-2258
No TPTP formula. May not be expressible in strict first order. Merge.kif 5050-5051
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 921-922
No TPTP formula. May not be expressible in strict first order. Merge.kif 5048-5048 Number e is an instance of positive real number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 946-946
No TPTP formula. May not be expressible in strict first order. english_format.kif 1099-1099
No TPTP formula. May not be expressible in strict first order. french_format.kif 622-622
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 153-153
No TPTP formula. May not be expressible in strict first order. terms-it.txt 156-156
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2307-2307
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 574-574
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 190-190
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 643-643
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 157-157


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