Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass LightFixture Device) Mid-level-ontology.kif 3641-3641 Light fixture is a subclass of device
(documentation LightFixture EnglishLanguage "Any Device whose purpose is to be a source of visible light.") Mid-level-ontology.kif 3642-3643 Light fixture is a subclass of device
(externalImage LightFixture "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Bulb.jpg") pictureList.kif 56-56 Light fixture is a subclass of device

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


(subclass Candle LightFixture) Mid-level-ontology.kif 3649-3649 Candle is a subclass of light fixture
(subclass VehicleLight LightFixture) Mid-level-ontology.kif 3669-3669 Vehicle light is a subclass of light fixture
(subclass ElectricLightFixture LightFixture) Cars.kif 4967-4967 Electric light fixture is a subclass of light fixture
(typicalPart LightBulb LightFixture) Cars.kif 4983-4983 A light bulb is typically a part of a light fixture
(typicallyContainsPart LightBulb LightFixture) Cars.kif 4984-4984 A light fixture typically has a part light bulb
(termFormat EnglishLanguage LightFixture "light fixture") domainEnglishFormat.kif 34363-34363 A light fixture typically has a part light bulb
(termFormat ChineseTraditionalLanguage LightFixture "燈具") domainEnglishFormat.kif 34364-34364 A light fixture typically has a part light bulb
(termFormat ChineseLanguage LightFixture "灯具") domainEnglishFormat.kif 34365-34365 A light fixture typically has a part light bulb

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


(=>
    (instance ?F LightFixture)
    (capability RadiatingLight instrument ?F))		 Mid-level-ontology.kif 3645-3647 If X is an instance of light fixture, then X is capable of doing radiating light as a instrument

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


(=>
    (instance ?M BeamRidingGMissile)
    (hasPurpose ?M
        (exists (?DAMAGE ?OBJ ?RADIATION ?INST)
            (and
                (instance ?DAMAGE Damaging)
                (instrument ?DAMAGE ?M)
                (patient ?DAMAGE ?OBJ)
                (instance ?RADIATION Radiating)
                (instrument ?RADIATION ?INST)
                (or
                    (instance ?INST Radar)
                    (instance ?INST LightFixture))
                (patient ?RADIATION ?OBJ)))))		 MilitaryDevices.kif 1265-1278 If X is an instance of beam ridingG missile, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of damaging (3) X is an instrument for Y (4) Z is a patient of Y (5) W is an instance of radiating (6) V is an instrument for W (7) V is an instance of radar or V is an instance of light fixture (8) Z is a patient of W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners