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 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 e' uma instancia de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2151-2151 speedScaleAttributeMinMax EF0, 65.0 MilesPerHour(s) and 85.0 MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order. Weather.kif 2150-2150 EF0 e' um atributo sucessor immediato de 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