| 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 12887-12889 | |
| (externalImage Window "http://upload.wikimedia.org/wikipedia/commons/7/77/ Window.jpg") | pictureList.kif 202-202 | |
| (externalImage Window "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ household/ windows/ window.png") | pictureList.kif 841-841 | |
| (subclass Window Artifact) | Mid-level-ontology.kif 12886-12886 |
| appearance as argument number 2 |
|
|
| (subclass Skylight Window) | Mid-level-ontology.kif 12904-12904 | |
| (subclass VehicleWindow Window) | Mid-level-ontology.kif 3981-3981 | |
| (termFormat ChineseLanguage Window "窗口") | domainEnglishFormat.kif 63025-63025 | |
| (termFormat ChineseTraditionalLanguage Window "窗口") | domainEnglishFormat.kif 63024-63024 | |
| (termFormat EnglishLanguage Window "window") | domainEnglishFormat.kif 63023-63023 |
| antecedent |
|
|
| (=> (instance ?W Window) (attribute ?W Transparent)) |
Mid-level-ontology.kif 12900-12902 | |
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 12890-12898 |
| 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 12930-12938 |
|
|
|