Window(window)![]() ![]() | ![]() | casement_window, double_glazing, fanlight, rose_window, rosette, sash_window, stained-glass_window, transom, transom_window, window |
appearance as argument number 1 |
![]() |
(documentation Window EnglishLanguage "An Artifact composed of transparent material that admits light (and possibly air) into a Room, Building or Vehicle.") | Mid-level-ontology.kif 16100-16102 | |
(externalImage Window "http://articulatesoftware.com/SUMOpictures/household/ windows/ window.png") | pictureList.kif 841-841 | |
(externalImage Window "http://upload.wikimedia.org/wikipedia/commons/7/77/ Window.jpg") | pictureList.kif 202-202 | |
(subclass Window Artifact) | Mid-level-ontology.kif 16099-16099 | Window is a subclass of artifact |
appearance as argument number 2 |
![]() |
(subclass Skylight Window) | Mid-level-ontology.kif 16118-16118 | Skylight is a subclass of window |
(subclass VehicleWindow Window) | Mid-level-ontology.kif 3508-3508 | Vehicle window is a subclass of window |
(termFormat ChineseLanguage Window "窗口") | domainEnglishFormat.kif 63140-63140 | Vehicle window is a subclass of window |
(termFormat ChineseTraditionalLanguage Window "窗口") | domainEnglishFormat.kif 63139-63139 | Vehicle window is a subclass of window |
(termFormat EnglishLanguage Window "window") | domainEnglishFormat.kif 63138-63138 | Vehicle window is a subclass of window |
antecedent |
![]() |
(=> (instance ?W Window) (attribute ?W Transparent)) |
Mid-level-ontology.kif 16114-16116 |
|
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 16104-16112 |
|
consequent |
![]() |
(=> (instance ?WC WindowCovering) (hasPurpose ?WC (exists (?C ?W) (and (instance ?C Covering) (patient ?C ?W) (instance ?W Window) (instrument ?C ?WC))))) |
Mid-level-ontology.kif 16145-16153 |
|
![]() |
![]() |