more pictures...
| Taillight(taillight)
more pictures... | | rear_lamp, rear_light, tail_lamp, taillight |
| appearance as argument number 1 |
|
|
| (documentation Taillight EnglishLanguage "Any VehicleLight which is attached to the back of a Vehicle.") | Mid-level-ontology.kif 3629-3630 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Brinker_indicator.jpg") | pictureList.kif 6913-6913 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ 2005_winter_road_full_beam_and_extra_lights.jpg") | pictureList.kif 8032-8032 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ Gaz-24-taillight.jpg") | pictureList.kif 8033-8033 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Reisebus.Heck.jpg") | pictureList.kif 8034-8034 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/en/b/be/ CHMBL-valiant.jpg") | pictureList.kif 8035-8035 | |
| (subclass Taillight VehicleLight) | Mid-level-ontology.kif 3628-3628 | Taillight is a subclass of vehicle light |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Taillight "尾灯") | domainEnglishFormat.kif 56693-56693 | |
| (termFormat ChineseTraditionalLanguage Taillight "尾燈") | domainEnglishFormat.kif 56692-56692 | |
| (termFormat EnglishLanguage Taillight "taillight") | domainEnglishFormat.kif 56691-56691 |
| antecedent |
|
|
| (=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V))))) |
Mid-level-ontology.kif 3632-3637 |
|
|
|
|