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 2143-2144
No TPTP formula. May not be expressible in strict first order. Weather.kif 2141-2142
No TPTP formula. May not be expressible in strict first order. Weather.kif 2145-2145 EF0 is an instance of enhanced fuijita scale attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2147-2147 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 2146-2146 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