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 3548-3549 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Brinker_indicator.jpg") | pictureList.kif 6911-6911 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ 2005_winter_road_full_beam_and_extra_lights.jpg") | pictureList.kif 8029-8029 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ Gaz-24-taillight.jpg") | pictureList.kif 8030-8030 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Reisebus.Heck.jpg") | pictureList.kif 8031-8031 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/en/b/be/ CHMBL_valiant.jpg") | pictureList.kif 8032-8032 | |
| (subclass Taillight VehicleLight) | Mid-level-ontology.kif 3547-3547 | Taillight is a subclass of vehicle light |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Taillight "尾灯") | domainEnglishFormat.kif 56812-56812 | |
| (termFormat ChineseTraditionalLanguage Taillight "尾燈") | domainEnglishFormat.kif 56811-56811 | |
| (termFormat EnglishLanguage Taillight "taillight") | domainEnglishFormat.kif 56810-56810 |
| antecedent |
|
|
| (=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V))))) |
Mid-level-ontology.kif 3551-3556 |
|
|
|
|