|
|
   FourPosterBed
|
|
|
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight FourPosterBed (MeasureFn 84 Inch)) |
DimensioningAmenities.kif 61-61 | |
| (defaultMaximumLength FourPosterBed (MeasureFn 88 Inch)) |
DimensioningAmenities.kif 65-65 | |
| (defaultMaximumMeasure FourPosterBed (MeasureFn 250 PoundMass)) |
DimensioningAmenities.kif 67-67 | |
| (defaultMaximumWidth FourPosterBed (MeasureFn 82 Inch)) |
DimensioningAmenities.kif 63-63 | |
| (defaultMinimumHeight FourPosterBed (MeasureFn 62 Inch)) |
DimensioningAmenities.kif 60-60 | |
| (defaultMinimumLength FourPosterBed (MeasureFn 77 Inch)) |
DimensioningAmenities.kif 64-64 | |
| (defaultMinimumMeasure FourPosterBed (MeasureFn 100 PoundMass)) |
DimensioningAmenities.kif 66-66 | |
| (defaultMinimumWidth FourPosterBed (MeasureFn 40 Inch)) |
DimensioningAmenities.kif 62-62 | |
| (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 4546-4547 | |
| (subclass FourPosterBed BedFrame) | Mid-level-ontology.kif 4545-4545 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FourPosterBed "four-poster bed") | Mid-level-ontology.kif 4548-4548 |
| 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 4550-4569 |
|
|
|