| Floor
| |
| appearance as argument number 1 |
|
|
| (documentation Floor EnglishLanguage "A StationaryArtifact that is the bottom surface of a Room.") | Mid-level-ontology.kif 15321-15322 | |
| (externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg") | pictureList.kif 95-95 | |
| (subclass Floor StationaryArtifact) | Mid-level-ontology.kif 15320-15320 | Floor ist eine teilkategorie von StationaryArtifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Floor "地板") | domainEnglishFormat.kif 24248-24248 | |
| (termFormat ChineseTraditionalLanguage Floor "地板") | domainEnglishFormat.kif 24247-24247 | |
| (termFormat EnglishLanguage Floor "floor") | domainEnglishFormat.kif 24246-24246 |
| antecedent |
|
|
| (=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 15324-15329 |
|
| consequent |
|
|
| (=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4078-4095 |
|
| (=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL))))) |
Mid-level-ontology.kif 3698-3704 |
|
| (=> (instance ?R Rug) (hasPurpose ?R (exists (?C ?F) (and (instance ?C Covering) (instrument ?C ?R) (patient ?C ?F) (instance ?F Floor))))) |
Mid-level-ontology.kif 5348-5356 |
|
| (=> (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 |
|
|
|
|