BedFrame - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BedFrame Artifact)	Mid-level-ontology.kif 4509-4509	Bed frame is a subclass of artifact
(documentation BedFrame EnglishLanguage "A BedFrame is a %&component of a Bed that supports the mattress")	Mid-level-ontology.kif 4510-4511	Bed frame is a subclass of artifact
(defaultMinimumHeight BedFrame (MeasureFn 10 Inch))	DimensioningAmenities.kif 162-162	The minimum expected height of bed frame is 10 inch(s)
(defaultMaximumHeight BedFrame (MeasureFn 48 Inch))	DimensioningAmenities.kif 163-163	The maximum expected height of bed frame is 48 inch(s)
(defaultMinimumWidth BedFrame (MeasureFn 38 Inch))	DimensioningAmenities.kif 164-164	The minimum expected width of bed frame is 38 inch(s)
(defaultMaximumWidth BedFrame (MeasureFn 80 Inch))	DimensioningAmenities.kif 165-165	The maximum expected width of bed frame is 80 inch(s)
(defaultMinimumLength BedFrame (MeasureFn 75 Inch))	DimensioningAmenities.kif 166-166	The minimum expected length of bed frame is 75 inch(s)
(defaultMaximumLength BedFrame (MeasureFn 90 Inch))	DimensioningAmenities.kif 167-167	The maximum expected length of bed frame is 90 inch(s)
(defaultMinimumMeasure BedFrame (MeasureFn 20 PoundMass))	DimensioningAmenities.kif 168-168	The minimum expected value of bed frame is 20 pound mass(s)
(defaultMaximumMeasure BedFrame (MeasureFn 200 PoundMass))	DimensioningAmenities.kif 169-169	The maximum expected value of bed frame is 200 pound mass(s)

appearance as argument number 2

(termFormat EnglishLanguage BedFrame "bed frame")	Mid-level-ontology.kif 4512-4512
(subclass FourPosterBed BedFrame)	Mid-level-ontology.kif 4523-4523	Four-poster bed is a subclass of bed frame

antecedent

(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))

If X is an instance of bed, Y is a component of X, Y is an instance of bed frame, Z is a component of X, and Z is an instance of mattress, then Z is on to Y