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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__documentation(s__LightFixture,s__EnglishLanguage,'"Any Device whose purpose is to be a source of visible light."')

Mid-level-ontology.kif 2947-2948
s__externalImage(s__LightFixture,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Bulb.jpg"')

pictureList.kif 56-56
s__subclass(s__LightFixture,s__Device)

s__instance(s__Device,s__SetOrClass)

s__instance(s__LightFixture,s__SetOrClass)

Mid-level-ontology.kif 2946-2946 Light fixture is a subclass of device

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


s__subclass(s__Candle,s__LightFixture)

s__instance(s__Candle,s__SetOrClass)

s__instance(s__LightFixture,s__SetOrClass)

Mid-level-ontology.kif 2954-2954 Candle is a subclass of light fixture
s__subclass(s__ElectricLightFixture,s__LightFixture)

s__instance(s__ElectricLightFixture,s__SetOrClass)

s__instance(s__LightFixture,s__SetOrClass)

Cars.kif 5098-5098 ElectricLightFixture is a subclass of light fixture
s__instance(s__VehicleLight,s__SetOrClass)

s__subclass(s__VehicleLight,s__LightFixture)

s__instance(s__LightFixture,s__SetOrClass)

Mid-level-ontology.kif 2994-2994 Vehicle light is a subclass of light fixture
s__termFormat(s__ChineseLanguage,s__LightFixture,'"灯具"')

domainEnglishFormat.kif 34344-34344
s__termFormat(s__ChineseTraditionalLanguage,s__LightFixture,'"燈具"')

domainEnglishFormat.kif 34343-34343
s__termFormat(s__EnglishLanguage,s__LightFixture,'"light fixture"')

domainEnglishFormat.kif 34342-34342
s__typicalPart(s__LightBulb,s__LightFixture)

Cars.kif 5114-5114 A light bulb is typically a part of a light fixture
s__typicallyContainsPart(s__LightBulb,s__LightFixture)

Cars.kif 5115-5115 A light fixture typically has a part light bulb

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


( ! [V__F] :
   ((s__instance(V__F,s__LightFixture) =>
       (s__capability(s__RadiatingLight,s__instrument__m,V__F)))
   )
)

Mid-level-ontology.kif 2950-2952

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1108-1121


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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