| 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 4547-4548 | |
| (subclass FourPosterBed BedFrame) | Mid-level-ontology.kif 4546-4546 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FourPosterBed "four-poster bed") | Mid-level-ontology.kif 4549-4549 |
| antecedent |
|
|
| (=> (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 |
|
|
|