| Floor
| |
| appearance as argument number 1 |
|
|
| (documentation Floor EnglishLanguage "A StationaryArtifact that is the bottom surface of a Room.") | Mid-level-ontology.kif 13036-13037 | |
| (externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg") | pictureList.kif 95-95 | |
| (subclass Floor StationaryArtifact) | Mid-level-ontology.kif 13035-13035 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Floor "地板") | domainEnglishFormat.kif 24250-24250 | |
| (termFormat ChineseTraditionalLanguage Floor "地板") | domainEnglishFormat.kif 24249-24249 | |
| (termFormat EnglishLanguage Floor "floor") | domainEnglishFormat.kif 24248-24248 |
| antecedent |
|
|
| (=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 13039-13044 |
| consequent |
|
|
| (=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL))))) |
Mid-level-ontology.kif 4235-4241 | |
| (=> (instance ?R Rug) (hasPurpose ?R (exists (?C) (and (instance ?C Covering) (instrument ?C ?R) (patient ?C ?F) (instance ?F Floor))))) |
Mid-level-ontology.kif 5600-5608 | |
| (=> (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 2498-2507 | |
| (=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral) (forall (?CORNER) (=> (and (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR) (and (meetsSpatially ?CORNER ?POST) (instance ?POST Artifact) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical)))))))) |
Mid-level-ontology.kif 4551-4570 |
|
|
|