Wall
|
|
appearance as argument number 1 |
(documentation Wall EnglishLanguage "A StationaryArtifact that supports a Building or partitions it into Rooms.") | Mid-level-ontology.kif 15308-15309 | |
(externalImage Wall "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Skogskyrkogarden_CementeryWall1.jpg") | pictureList.kif 198-198 | |
(subclass Wall StationaryArtifact) | Mid-level-ontology.kif 15307-15307 | Wall est une sous-classe de artefact stationnaire |
appearance as argument number 2 |
(termFormat ChineseLanguage Wall "壁") | domainEnglishFormat.kif 62103-62103 | |
(termFormat ChineseTraditionalLanguage Wall "壁") | domainEnglishFormat.kif 62102-62102 | |
(termFormat EnglishLanguage Wall "wall") | domainEnglishFormat.kif 62101-62101 |
antecedent |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15311-15318 |
consequent |
(=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL)))) |
Mid-level-ontology.kif 15236-15247 | |
(=> (instance ?P Wallpaper) (hasPurpose ?P (exists (?W ?R ?C) (and (instance ?W Wall) (part ?W ?R) (instance ?R Room) (instance ?C Covering) (patient ?C ?W) (instrument ?C ?P))))) |
Mid-level-ontology.kif 3131-3141 | |
(=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above)))) |
Mid-level-ontology.kif 2037-2046 | |
(=> (instance ?X GrabBar) (and (exists (?WALL) (and (instance ?WALL Wall) (connected ?X ?WALL))) (hasPurpose ?X (exists (?GRAB) (and (instance ?GRAB Grabbing) (instrument ?GRAB ?X)))))) |
Mid-level-ontology.kif 26470-26481 | |
(=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 26743-26749 |