| 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 4507-4508 | |
| (subclass FourPosterBed BedFrame) | Mid-level-ontology.kif 4506-4506 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FourPosterBed "four-poster bed") | Mid-level-ontology.kif 4509-4509 |
| 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 4521-4538 | |
| (=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral)))) |
Mid-level-ontology.kif 4514-4519 |
|
|
|