VehicleLight(vehicle light) |
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 3506-3508 | |
(subclass VehicleLight LightFixture) | Mid-level-ontology.kif 3505-3505 | Vehicle light is a subclass of light fixture |
appearance as argument number 2 |
![]() |
(subclass Headlight VehicleLight) | Mid-level-ontology.kif 3517-3517 | Headlight is a subclass of vehicle light |
(subclass Taillight VehicleLight) | Mid-level-ontology.kif 3528-3528 | Taillight is a subclass of vehicle light |
(termFormat ChineseLanguage VehicleLight "车灯") | domainEnglishFormat.kif 61376-61376 | Taillight is a subclass of vehicle light |
(termFormat ChineseTraditionalLanguage VehicleLight "車燈") | domainEnglishFormat.kif 61375-61375 | Taillight is a subclass of vehicle light |
(termFormat EnglishLanguage VehicleLight "vehicle light") | domainEnglishFormat.kif 61374-61374 | Taillight is a subclass of vehicle light |
antecedent |
![]() |
(=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V)))) |
Mid-level-ontology.kif 3510-3515 |
|
![]() |
![]() |