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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EF0

 Sigma KEE - EF0
EF0(改良藤田0)

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 改良藤田0 是 改良藤田级数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2147-2147 改良藤田0 的最低和最高是 65.0 英里每小時 和 85.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2146-2146 改良藤田0 是 改良藤田1 的直接后续属性

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