FourPosterBed
|
|
appearance as argument number 1 |
(documentation FourPosterBed EnglishLanguage "FourPosterBed is a type of BedFrame with a post at each corner to support curtains or a canopy") | Mid-level-ontology.kif 4057-4058 | |
(subclass FourPosterBed BedFrame) | Mid-level-ontology.kif 4056-4056 |
appearance as argument number 2 |
(termFormat EnglishLanguage FourPosterBed "four-poster bed") | Mid-level-ontology.kif 4059-4059 |
antecedent |
(=> (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 ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral)))) |
Mid-level-ontology.kif 4064-4069 |