more pictures...
| Taillight
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Taillight EnglishLanguage "Any VehicleLight which is attached to the back of a Vehicle.") | Mid-level-ontology.kif 3058-3059 | |
| (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 3057-3057 | Taillight は VehicleLight の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Taillight "尾灯") | domainEnglishFormat.kif 56791-56791 | |
| (termFormat ChineseTraditionalLanguage Taillight "尾燈") | domainEnglishFormat.kif 56790-56790 | |
| (termFormat EnglishLanguage Taillight "taillight") | domainEnglishFormat.kif 56789-56789 |
| antecedent |
|
|
| (=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V))))) |
Mid-level-ontology.kif 3061-3066 |
|
|
|
|