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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleWindow
VehicleWindow(vehicle window)
car_window, vehicle_window, window, 車窗, 车窗

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


(documentation VehicleWindow EnglishLanguage "Any Window which is part of a Vehicle, e.g. the Windshield and RearWindow of an Automobile.") Mid-level-ontology.kif 3976-3977
(externalImage VehicleWindow "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ 1993_Grand_Cherokee_rear_door_quarter_window.jpg") pictureList.kif 4948-4948 "http://upload.wikimedia.org/wikipedia/commons/2/26/ 1993_Grand_Cherokee_rear_door_quarter_window.jpg" is a URL depicting vehicle window
(subclass VehicleWindow Window) Mid-level-ontology.kif 3975-3975 Vehicle window is a subclass of window

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


(subclass RearWindow VehicleWindow) Mid-level-ontology.kif 12889-12889 Rear window is a subclass of vehicle window
(subclass Windshield VehicleWindow) Mid-level-ontology.kif 3986-3986 Windshield is a subclass of vehicle window
(termFormat ChineseLanguage VehicleWindow "车窗") domainEnglishFormat.kif 61357-61357 "车窗" is the printable form of vehicle window in ChineseLanguage
(termFormat ChineseTraditionalLanguage VehicleWindow "車窗") domainEnglishFormat.kif 61356-61356 "車窗" is the printable form of vehicle window in ChineseTraditionalLanguage
(termFormat EnglishLanguage VehicleWindow "vehicle window") domainEnglishFormat.kif 61355-61355 "vehicle window" is the printable form of vehicle window in english language

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


(=>
    (instance ?W VehicleWindow)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?W ?V))))
Mid-level-ontology.kif 3979-3984


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners