Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Window(window)
|  | casement_window, double_glazing, fanlight, rose_window, rosette, sash_window, stained-glass_window, transom, transom_window, window |
| appearance as argument number 1 |
|
|
| (subclass Window Artifact) | Mid-level-ontology.kif 16746-16746 | Window is a subclass of artifact |
| (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 16747-16749 | Window is a subclass of artifact |
| (externalImage Window "http://upload.wikimedia.org/wikipedia/commons/7/77/ Window.jpg") | pictureList.kif 202-202 | Window is a subclass of artifact |
| (externalImage Window "http://articulatesoftware.com/SUMOpictures/household/ windows/ window.png") | pictureList.kif 841-841 | Window is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle))))) |
Mid-level-ontology.kif 16751-16759 | If X is an instance of window, then there exists Y such that X is a part of Y and Y is an instance of building, Y is an instance of room, or Y is an instance of vehicle |
| (=> (instance ?W Window) (attribute ?W Transparent)) |
Mid-level-ontology.kif 16761-16763 | If X is an instance of window, then transparent is an attribute of X |
| 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 16792-16800 | If X is an instance of window covering, then X has the purpose there exist Y, Z such that Y is an instance of covering, Z is a patient of Y, Z is an instance of window, and X is an instrument for Y |
| (=> (instance ?DEVICE WindowFan) (hasPurpose ?DEVICE (exists (?W) (and (instance ?W Window) (located ?DEVICE ?W))))) |
HouseholdAppliances.kif 1152-1158 | If X is an instance of window fan, then X has the purpose there exists Y such that Y is an instance of window and X is located at Y |
|