Floor![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Floor EnglishLanguage "A StationaryArtifact that is the bottom surface of a Room.") | Mid-level-ontology.kif 16695-16696 | |
(externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg") | pictureList.kif 95-95 | |
(subclass Floor StationaryArtifact) | Mid-level-ontology.kif 16694-16694 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Floor "地板") | domainEnglishFormat.kif 24253-24253 | |
(termFormat ChineseTraditionalLanguage Floor "地板") | domainEnglishFormat.kif 24252-24252 | |
(termFormat EnglishLanguage Floor "floor") | domainEnglishFormat.kif 24251-24251 |
antecedent |
![]() |
(=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 16698-16703 |
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 4521-4538 | |
(=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL))))) |
Mid-level-ontology.kif 4141-4147 | |
(=> (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 6286-6294 | |
(=> (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 2500-2509 |
![]() |
![]() |