|
|
   VehicleLight
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VehicleLight EnglishLanguage "Any LightFixture which is attached to the surface of a Vehicle and whose purpose is to illuminate that area around the Vehicle so that potential obstacles can be detected or alerted.") | Mid-level-ontology.kif 3063-3065 | |
| (subclass VehicleLight LightFixture) | Mid-level-ontology.kif 3062-3062 | VehicleLight est une sous-classe de LightFixture |
| appearance as argument number 2 |
|
|
| (subclass Headlight VehicleLight) | Mid-level-ontology.kif 3074-3074 | Headlight est une sous-classe de VehicleLight |
| (subclass Taillight VehicleLight) | Mid-level-ontology.kif 3085-3085 | Taillight est une sous-classe de VehicleLight |
| (termFormat ChineseLanguage VehicleLight "车灯") | domainEnglishFormat.kif 61382-61382 | |
| (termFormat ChineseTraditionalLanguage VehicleLight "車燈") | domainEnglishFormat.kif 61381-61381 | |
| (termFormat EnglishLanguage VehicleLight "vehicle light") | domainEnglishFormat.kif 61380-61380 |
| antecedent |
|
|
| (=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V)))) |
Mid-level-ontology.kif 3067-3072 |
|
|
|