Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LightBulb(light bulb) |  | bulb, electric-light_bulb, electric_light, incandescent_lamp, light_bulb, lightbulb |
| appearance as argument number 1 |
|
|
| (subclass LightBulb ElectricLightFixture) | Cars.kif 4974-4974 | Light bulb is a subclass of electric light fixture |
| (documentation LightBulb EnglishLanguage "The smallest removable LightFixture that is the component that emits light.") | Cars.kif 4976-4977 | Light bulb is a subclass of electric 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 |
| (subclass LightBulb LightingAppliance) | HouseholdAppliances.kif 1033-1033 | Light bulb is a subclass of lighting appliance |
| (subclass LightBulb ElectricDevice) | HouseholdAppliances.kif 1034-1034 | Light bulb is a subclass of electric device |
| (documentation LightBulb EnglishLanguage "A Device designed to transfer electric energy into light radiation.") | HouseholdAppliances.kif 1035-1035 | Light bulb is a subclass of electric device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?F LightBulb) (capability RadiatingLight instrument ?F)) |
Cars.kif 4979-4981 | If X is an instance of light bulb, then X is capable of doing radiating light as a instrument |
| (=> (instance ?DEVICE LightBulb) (hasPurpose ?DEVICE (exists (?RVL ?RES) (and (instance ?RVL RadiatingVisibleLight) (agent ?RVL ?DEVICE) (instance ?RES Electricity) (resource ?RVL ?RES))))) |
HouseholdAppliances.kif 1039-1047 | If X is an instance of light bulb, then X has the purpose there exist Y, Z such that Y is an instance of radiating visible light, X is an agent of Y, Z is an instance of electricity, and Z is a resource for Y |
|