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

Formal Language: 


KB Term:  Term intersection
English Word: 

  LightFixture

 Sigma KEE - LightFixture
LightFixture(light fixture)
Chinese_lantern, anchor_light, blinker, chandelier, discharge_lamp, electric-discharge_lamp, electric_lamp, fairy_light, flasher, flashlight, flood, flood_lamp, floodlight, gas-discharge_lamp, houselights, jacklight, lamp, lantern, light, light_source, lighting, lighting_fixture, navigation_light, night-light, panel_light, pendant, pendent, photoflood, riding_lamp, riding_light, room_light, searchlight, slit_lamp, source_of_illumination, spirit_lamp, strip_lighting, taper, theater_light, torch, wick

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3478-3479
No TPTP formula. May not be expressible in strict first order. pictureList.kif 56-56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3477-3477 Light fixture is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3485-3485 Candle is a subclass of light fixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 5136-5136 Electric light fixture is a subclass of light fixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3505-3505 Vehicle light is a subclass of light fixture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34372-34372 Vehicle light is a subclass of light fixture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34371-34371 Vehicle light is a subclass of light fixture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34370-34370 Vehicle light is a subclass of light fixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 5152-5152 A light bulb is typically a part of a light fixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 5153-5153 A light fixture typically has a part light bulb

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3481-3483


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