|
|
   Taillight
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Taillight EnglishLanguage "Any VehicleLight which is attached to the back of a Vehicle.") | Mid-level-ontology.kif 3079-3080 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Brinker_indicator.jpg") | pictureList.kif 6912-6912 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ 2005_winter_road_full_beam_and_extra_lights.jpg") | pictureList.kif 8030-8030 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ Gaz-24-taillight.jpg") | pictureList.kif 8031-8031 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Reisebus.Heck.jpg") | pictureList.kif 8032-8032 | |
| (externalImage Taillight "http://upload.wikimedia.org/wikipedia/en/b/be/ CHMBL-valiant.jpg") | pictureList.kif 8033-8033 | |
| (subclass Taillight VehicleLight) | Mid-level-ontology.kif 3078-3078 | Taillight is a subclass of vehicle light |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Taillight "尾灯") | domainEnglishFormat.kif 56781-56781 | |
| (termFormat ChineseTraditionalLanguage Taillight "尾燈") | domainEnglishFormat.kif 56780-56780 | |
| (termFormat EnglishLanguage Taillight "taillight") | domainEnglishFormat.kif 56779-56779 |
| antecedent |
|
|
| (=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V))))) |
Mid-level-ontology.kif 3082-3087 |
|
|
|
|
