| Headlight(headlight)
| | headlamp, headlight |
| appearance as argument number 1 |
|
|
| (documentation Headlight EnglishLanguage "Any VehicleLight which is attached to the front of a Vehicle.") | Mid-level-ontology.kif 3141-3142 | |
| (externalImage Headlight "http://upload.wikimedia.org/wikipedia/commons/ a/ a3/ Headlights_projector_reflector_optics.jpg") | pictureList.kif 4718-4718 | |
| (subclass Headlight VehicleLight) | Mid-level-ontology.kif 3140-3140 | Headlight is a subclass of vehicle light |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Headlight "车灯") | domainEnglishFormat.kif 27748-27748 | |
| (termFormat ChineseTraditionalLanguage Headlight "車燈") | domainEnglishFormat.kif 27747-27747 | |
| (termFormat EnglishLanguage Headlight "headlight") | domainEnglishFormat.kif 27746-27746 |
| antecedent |
|
|
| (=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V))))) |
Mid-level-ontology.kif 3144-3149 |
|
|
|
|