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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EF0

 Sigma KEE - 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 and EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2147-2147 speedScaleAttributeMinMax EF0, 測量 65.0 and MilesPerHour and 測量 85.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order. Weather.kif 2146-2146 繼承屬性 EF0 and 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