![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Floor EnglishLanguage "A StationaryArtifact that is the bottom surface of a Room.") | Mid-level-ontology.kif 14841-14842 | |
(externalImage Floor "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Floor.agr.jpg") | pictureList.kif 95-95 | |
(subclass Floor StationaryArtifact) | Mid-level-ontology.kif 14840-14840 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Floor "地板") | domainEnglishFormat.kif 24243-24243 | |
(termFormat ChineseTraditionalLanguage Floor "地板") | domainEnglishFormat.kif 24242-24242 | |
(termFormat EnglishLanguage Floor "floor") | domainEnglishFormat.kif 24241-24241 |
antecedent |
![]() |
(=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room)))) |
Mid-level-ontology.kif 14844-14849 |
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 3985-4002 | |
(=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL))))) |
Mid-level-ontology.kif 3659-3665 | |
(=> (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 5064-5072 | |
(=> (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 2000-2009 |
![]() |
![]() |