| appearance as argument number 1 |
|
|
| (documentation LightFixture EnglishLanguage "Any Device whose purpose is to be a source of visible light.") | Mid-level-ontology.kif 3478-3479 | |
| (externalImage LightFixture "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Bulb.jpg") | pictureList.kif 56-56 | |
| (subclass LightFixture Device) | Mid-level-ontology.kif 3477-3477 | Light fixture is a subclass of device |
| appearance as argument number 2 |
|
|
| (subclass Candle LightFixture) | Mid-level-ontology.kif 3485-3485 | Candle is a subclass of light fixture |
| (subclass ElectricLightFixture LightFixture) | Cars.kif 5136-5136 | Electric light fixture is a subclass of light fixture |
| (subclass VehicleLight LightFixture) | Mid-level-ontology.kif 3505-3505 | Vehicle light is a subclass of light fixture |
| (termFormat ChineseLanguage LightFixture "灯具") | domainEnglishFormat.kif 34372-34372 | Vehicle light is a subclass of light fixture |
| (termFormat ChineseTraditionalLanguage LightFixture "燈具") | domainEnglishFormat.kif 34371-34371 | Vehicle light is a subclass of light fixture |
| (termFormat EnglishLanguage LightFixture "light fixture") | domainEnglishFormat.kif 34370-34370 | Vehicle light is a subclass of light fixture |
| (typicalPart LightBulb LightFixture) | Cars.kif 5152-5152 | A light bulb is typically a part of a light fixture |
| (typicallyContainsPart LightBulb LightFixture) | Cars.kif 5153-5153 | A light fixture typically has a part light bulb |
| antecedent |
|
|
| (=> (instance ?F LightFixture) (capability RadiatingLight instrument ?F)) |
Mid-level-ontology.kif 3481-3483 |
|
|
|
|