Taillight - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Taillight EnglishLanguage "Any VehicleLight which is attached to the back of a Vehicle.")	Mid-level-ontology.kif 3152-3153
(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 3151-3151	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 3155-3160