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


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

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


(subclass Candle LightFixture) Mid-level-ontology.kif 3563-3563 Candle is a subclass of light fixture
(subclass ElectricLightFixture LightFixture) Cars.kif 5046-5046 ElectricLightFixture is a subclass of light fixture
(subclass VehicleLight LightFixture) Mid-level-ontology.kif 3603-3603 Vehicle light is a subclass of light fixture
(termFormat EnglishLanguage LightFixture "light fixture") domainEnglishFormat.kif 6145-6145 "light fixture" is the printable form of light fixture in english language
(typicalPart LightBulb LightFixture) Cars.kif 5062-5062 A light bulb is typically a part of a light fixture
(typicallyContainsPart LightBulb LightFixture) Cars.kif 5063-5063 A light fixture typically has a part light bulb

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


(=>
    (instance ?F LightFixture)
    (capability RadiatingLight instrument ?F))
Mid-level-ontology.kif 3559-3561

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners