TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Taillight VehicleLight)	Mid-level-ontology.kif 3692-3692	Taillight is a subclass of vehicle light
(documentation Taillight EnglishLanguage "Any VehicleLight which is attached to the back of a Vehicle.")	Mid-level-ontology.kif 3693-3694	Taillight is a subclass of vehicle light
(externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ Brinker_indicator.jpg")	pictureList.kif 6911-6911	Taillight is a subclass of vehicle light
(externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ 2005_winter_road_full_beam_and_extra_lights.jpg")	pictureList.kif 8029-8029	Taillight is a subclass of vehicle light
(externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ Gaz-24-taillight.jpg")	pictureList.kif 8030-8030	Taillight is a subclass of vehicle light
(externalImage Taillight "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Reisebus.Heck.jpg")	pictureList.kif 8031-8031	Taillight is a subclass of vehicle light
(externalImage Taillight "http://upload.wikimedia.org/wikipedia/en/b/be/ CHMBL_valiant.jpg")	pictureList.kif 8032-8032	Taillight is a subclass of vehicle light

appearance as argument number 2

(termFormat EnglishLanguage Taillight "taillight")	domainEnglishFormat.kif 56774-56774
(termFormat ChineseTraditionalLanguage Taillight "尾燈")	domainEnglishFormat.kif 56775-56775
(termFormat ChineseLanguage Taillight "尾灯")	domainEnglishFormat.kif 56776-56776

antecedent

(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))

If X is an instance of taillight, then there exists Y such that Y is an instance of vehicle and X is a part of the back of Y