|
|
   FourPosterBed
|
|
|
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight FourPosterBed (MeasureFn 84 Inch)) |
DimensioningAmenities.kif 308-308 | |
| (defaultMaximumLength FourPosterBed (MeasureFn 88 Inch)) |
DimensioningAmenities.kif 312-312 | |
| (defaultMaximumMeasure FourPosterBed (MeasureFn 250 PoundMass)) |
DimensioningAmenities.kif 314-314 | |
| (defaultMaximumWidth FourPosterBed (MeasureFn 82 Inch)) |
DimensioningAmenities.kif 310-310 | |
| (defaultMinimumHeight FourPosterBed (MeasureFn 62 Inch)) |
DimensioningAmenities.kif 307-307 | |
| (defaultMinimumLength FourPosterBed (MeasureFn 77 Inch)) |
DimensioningAmenities.kif 311-311 | |
| (defaultMinimumMeasure FourPosterBed (MeasureFn 100 PoundMass)) |
DimensioningAmenities.kif 313-313 | |
| (defaultMinimumWidth FourPosterBed (MeasureFn 40 Inch)) |
DimensioningAmenities.kif 309-309 | |
| (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 4542-4543 | |
| (subclass FourPosterBed BedFrame) | Mid-level-ontology.kif 4541-4541 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FourPosterBed "four-poster bed") | Mid-level-ontology.kif 4544-4544 |
| 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 ?BED ?FLOOR On) (orientation ?POST ?FLOOR Vertical)))))))) |
Mid-level-ontology.kif 4546-4565 |
|
|
|