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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LightBulb

Sigma KEE - LightBulb
LightBulb(light bulb)bulb, electric-light_bulb, electric_light, incandescent_lamp, light_bulb, lightbulb

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5065-5066
No TPTP formula. May not be expressible in strict first order. Cars.kif 5063-5063 Light bulb is a subclass of ElectricLightFixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 5072-5072 A light bulb is typically a part of a light fixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 5073-5073 A light fixture typically has a part light bulb

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5079-5079 Fluorescent light bulb is a subclass of light bulb
No TPTP formula. May not be expressible in strict first order. Cars.kif 5082-5082 Light bulb is a subclass of light bulb
No TPTP formula. May not be expressible in strict first order. Cars.kif 5075-5075 LE d is a subclass of light bulb
No TPTP formula. May not be expressible in strict first order. Cars.kif 5064-5064

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 5068-5070


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