| Floor
| |
| appearance as argument number 1 |
|
|
| (documentation Floor EnglishLanguage "A StationaryArtifact that is the bottom surface of a Room.") | Mid-level-ontology.kif 15540-15541 | |
| (externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg") | pictureList.kif 95-95 | |
| (subclass Floor StationaryArtifact) | Mid-level-ontology.kif 15539-15539 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Floor "地板") | domainEnglishFormat.kif 24265-24265 | |
| (termFormat ChineseTraditionalLanguage Floor "地板") | domainEnglishFormat.kif 24264-24264 | |
| (termFormat EnglishLanguage Floor "floor") | domainEnglishFormat.kif 24263-24263 |
| antecedent |
|
|
| (=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 15543-15548 |
| 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 4071-4088 | |
| (=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL))))) |
Mid-level-ontology.kif 3691-3697 | |
| (=> (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 5343-5351 | |
| (=> (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 2030-2039 |
|
|
|