TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage QueenBed "queen-sized bed")

antecedent

(=> (instance ?X QueenBed) (and (width ?X (MeasureFn 1.5 Meter)) (length ?X (MeasureFn 2.0 Meter))))	Mid-level-ontology.kif 4461-4465	If X is an instance of queen-sized bed, then the width of X is 1.5 meter(s) and the length of X is 2.0 meter(s)
(=> (instance ?X QueenBed) (modalAttribute (exists (?P1 ?P2 ?TIME) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (attribute ?P1 Asleep) (attribute ?P2 Asleep) (located ?P1 ?X) (located ?P2 ?X))))) Possibility))	Mid-level-ontology.kif 4467-4480	If X is an instance of queen-sized bed, then All of the following hold: (1) the statement there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) asleep is an attribute of Y (7) asleep is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W has the modal force of possibility

consequent

(=>
    (instance ?QB QueenBedRoom)
    (exists (?B)
        (and
            (instance ?QB HotelRoom)
            (instance ?B QueenBed)
            (located ?B ?QB))))

If X is an instance of QueenBedRoom, then there exists Y such that X is an instance of hotel room, Y is an instance of queen-sized bed, and Y is located at X

(subclass QueenBed Bed)	Mid-level-ontology.kif 4456-4456	Queen-sized bed is a subclass of bed
(documentation QueenBed EnglishLanguage "A QueenBed is a type of Bed that is 1.5m by 2.0m in size")	Mid-level-ontology.kif 4457-4458	Queen-sized bed is a subclass of bed
(defaultMinimumHeight QueenBed (MeasureFn 18 Inch))	DimensioningAmenities.kif 144-144	The minimum expected height of queen-sized bed is 18 inch(s)
(defaultMaximumHeight QueenBed (MeasureFn 40 Inch))	DimensioningAmenities.kif 145-145	The maximum expected height of queen-sized bed is 40 inch(s)
(defaultMinimumWidth QueenBed (MeasureFn 60 Inch))	DimensioningAmenities.kif 146-146	The minimum expected width of queen-sized bed is 60 inch(s)
(defaultMaximumWidth QueenBed (MeasureFn 60 Inch))	DimensioningAmenities.kif 147-147	The maximum expected width of queen-sized bed is 60 inch(s)
(defaultMinimumLength QueenBed (MeasureFn 80 Inch))	DimensioningAmenities.kif 148-148	The minimum expected length of queen-sized bed is 80 inch(s)
(defaultMaximumLength QueenBed (MeasureFn 80 Inch))	DimensioningAmenities.kif 149-149	The maximum expected length of queen-sized bed is 80 inch(s)
(defaultMinimumMeasure QueenBed (MeasureFn 125 PoundMass))	DimensioningAmenities.kif 150-150	The minimum expected value of queen-sized bed is 125 pound mass(s)
(defaultMaximumMeasure QueenBed (MeasureFn 500 PoundMass))	DimensioningAmenities.kif 151-151	The maximum expected value of queen-sized bed is 500 pound mass(s)