RearWindow - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RearWindow VehicleWindow)	Mid-level-ontology.kif 16776-16776	Rear window is a subclass of vehicle window
(documentation RearWindow EnglishLanguage "Any VehicleWindow which is located at the back of an RoadVehicle.")	Mid-level-ontology.kif 16777-16778	Rear window is a subclass of vehicle window
(externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Austin_A40_MkII_Countryman_rear.jpg")	pictureList.kif 4938-4938	Rear window is a subclass of vehicle window
(externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Austin_A40_MkII_Countryman_tail.jpg")	pictureList.kif 5073-5073	Rear window is a subclass of vehicle window
(externalImage RearWindow "http://upload.wikimedia.org/wikipedia/commons/ 4/ 45/ Humber_Hawk_Series_III_rear.jpg")	pictureList.kif 5074-5074	Rear window is a subclass of vehicle window

appearance as argument number 2

(disjoint Windshield RearWindow)	Mid-level-ontology.kif 4081-4081	Windshield is disjoint from rear window
(termFormat EnglishLanguage RearWindow "rear window")	domainEnglishFormat.kif 48933-48933	Windshield is disjoint from rear window
(termFormat ChineseTraditionalLanguage RearWindow "後窗")	domainEnglishFormat.kif 48934-48934	Windshield is disjoint from rear window
(termFormat ChineseLanguage RearWindow "后窗")	domainEnglishFormat.kif 48935-48935	Windshield is disjoint from rear window

antecedent

(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))

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