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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleWindow

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 3436-3437
(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 3435-3435 VehicleWindowWindowsubclass では %n

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


(subclass RearWindow VehicleWindow) Mid-level-ontology.kif 15228-15228 RearWindowVehicleWindowsubclass では %n
(subclass Windshield VehicleWindow) Mid-level-ontology.kif 3446-3446 WindshieldVehicleWindowsubclass では %n
(termFormat ChineseLanguage VehicleWindow "车窗") domainEnglishFormat.kif 61414-61414
(termFormat ChineseTraditionalLanguage VehicleWindow "車窗") domainEnglishFormat.kif 61413-61413
(termFormat EnglishLanguage VehicleWindow "vehicle window") domainEnglishFormat.kif 61412-61412

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


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


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