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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleWindow
VehicleWindow

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 3443-3444
(externalImage VehicleWindow "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ 1993_Grand_Cherokee_rear_door_quarter_window.jpg") pictureList.kif 4947-4947
(subclass VehicleWindow Window) Mid-level-ontology.kif 3442-3442 VehicleWindow e' uma sub-classe de Window

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


(subclass RearWindow VehicleWindow) Mid-level-ontology.kif 15201-15201 RearWindow e' uma sub-classe de VehicleWindow
(subclass Windshield VehicleWindow) Mid-level-ontology.kif 3453-3453 Windshield e' uma sub-classe de VehicleWindow
(termFormat ChineseLanguage VehicleWindow "车窗") domainEnglishFormat.kif 61412-61412
(termFormat ChineseTraditionalLanguage VehicleWindow "車窗") domainEnglishFormat.kif 61411-61411
(termFormat EnglishLanguage VehicleWindow "vehicle window") domainEnglishFormat.kif 61410-61410

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


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


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