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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EF4

 Sigma KEE - EF4
EF4

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2175-2176
No TPTP formula. May not be expressible in strict first order. Weather.kif 2173-2174
No TPTP formula. May not be expressible in strict first order. Weather.kif 2177-2177 例 EF4 and EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2179-2179 speedScaleAttributeMinMax EF4, 測量 166.0 and MilesPerHour and 測量 200.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order. Weather.kif 2178-2178 繼承屬性 EF4 and EF5

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2170-2170 繼承屬性 EF3 and EF4
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10367-10367
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10366-10366


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