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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 3378-3379
(externalImage VehicleWindow " 2/ 26/ 1993_Grand_Cherokee_rear_door_quarter_window.jpg") pictureList.kif 4948-4948
(subclass VehicleWindow Window) Mid-level-ontology.kif 3377-3377

appearance as argument number 2

(subclass RearWindow VehicleWindow) Mid-level-ontology.kif 14365-14365
(subclass Windshield VehicleWindow) Mid-level-ontology.kif 3388-3388
(termFormat ChineseLanguage VehicleWindow "车窗") domainEnglishFormat.kif 61379-61379
(termFormat ChineseTraditionalLanguage VehicleWindow "車窗") domainEnglishFormat.kif 61378-61378
(termFormat EnglishLanguage VehicleWindow "vehicle window") domainEnglishFormat.kif 61377-61377


    (instance ?W VehicleWindow)
    (exists (?V)
            (instance ?V Vehicle)
            (part ?W ?V))))
Mid-level-ontology.kif 3381-3386

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

Show without tree

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