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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EF0

 Sigma KEE - EF0
EF0(EF0)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2147-2148
No TPTP formula. May not be expressible in strict first order. Weather.kif 2145-2146
No TPTP formula. May not be expressible in strict first order. Weather.kif 2149-2149 EF0 is an instance of enhanced fuijita scale attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2151-2151 65.0 Miles per hour(s) and 85.0 miles per hour(s) are the min and max speed of EF0
No TPTP formula. May not be expressible in strict first order. Weather.kif 2150-2150 EF0 is an immediate successor attribute of EF1

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10355-10355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10354-10354


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