Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RearWindow
RearWindow(rear window)
rear_window

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(disjoint Windshield RearWindow) Mid-level-ontology.kif 3454-3454 Windshield is disjoint from rear window
(termFormat ChineseLanguage RearWindow "后窗") domainEnglishFormat.kif 48938-48938
(termFormat ChineseTraditionalLanguage RearWindow "後窗") domainEnglishFormat.kif 48937-48937
(termFormat EnglishLanguage RearWindow "rear window") domainEnglishFormat.kif 48936-48936

antecedent
-------------------------


(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))
Mid-level-ontology.kif 15205-15210


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners