TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage SingleBed "twin-sized bed")

antecedent

(=>
    (instance ?X SingleBed)
    (and
        (width ?X
            (MeasureFn 1.0 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))

If X is an instance of twin-sized bed, then the width of X is 1.0 meter(s) and the length of X is 2.0 meter(s)

consequent

(=> (instance ?X BunkBed) (exists (?BED1 ?BED2) (and (instance ?BED1 SingleBed) (instance ?BED2 SingleBed) (part ?BED1 ?X) (part ?BED2 ?X) (orientation ?BED1 ?BED2 Above))))	Mid-level-ontology.kif 4524-4532	If X is an instance of bunk bed, then there exist Y, Z such that Y is an instance of twin-sized bed, Z is an instance of twin-sized bed, Y is a part of X, Z is a part of X, and Y is above to Z
(=> (instance ?DR DoubleRoom) (exists (?B ?B1 ?B2) (or (and (instance ?B DoubleBed) (instance ?DR HotelRoom) (located ?B ?DR)) (and (instance ?B1 SingleBed) (instance ?B2 SingleBed) (instance ?DR HotelRoom) (located ?B1 ?DR) (located ?B2 ?DR)))))	TravelPolicies.kif 1091-1104	If X is an instance of DoubleRoom, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of full-sized bed (3) X is an instance of hotel room (4) Y is located at X or Z is an instance of twin-sized bed (5) W is an instance of twin-sized bed (6) X is an instance of hotel room (7) Z is located at X (8) W is located at X

(subclass SingleBed Bed)	Mid-level-ontology.kif 4508-4508	Twin-sized bed is a subclass of bed
(documentation SingleBed EnglishLanguage "A SingleBed is a type of Bed that is 1m by 2.0m in size")	Mid-level-ontology.kif 4509-4510	Twin-sized bed is a subclass of bed
(defaultMinimumHeight SingleBed (MeasureFn 18 Inch))	DimensioningAmenities.kif 153-153	The minimum expected height of twin-sized bed is 18 inch(s)
(defaultMaximumHeight SingleBed (MeasureFn 40 Inch))	DimensioningAmenities.kif 154-154	The maximum expected height of twin-sized bed is 40 inch(s)
(defaultMinimumWidth SingleBed (MeasureFn 38 Inch))	DimensioningAmenities.kif 155-155	The minimum expected width of twin-sized bed is 38 inch(s)
(defaultMaximumWidth SingleBed (MeasureFn 38 Inch))	DimensioningAmenities.kif 156-156	The maximum expected width of twin-sized bed is 38 inch(s)
(defaultMinimumLength SingleBed (MeasureFn 75 Inch))	DimensioningAmenities.kif 157-157	The minimum expected length of twin-sized bed is 75 inch(s)
(defaultMaximumLength SingleBed (MeasureFn 80 Inch))	DimensioningAmenities.kif 158-158	The maximum expected length of twin-sized bed is 80 inch(s)
(defaultMinimumMeasure SingleBed (MeasureFn 50 PoundMass))	DimensioningAmenities.kif 159-159	The minimum expected value of twin-sized bed is 50 pound mass(s)
(defaultMaximumMeasure SingleBed (MeasureFn 300 PoundMass))	DimensioningAmenities.kif 160-160	The maximum expected value of twin-sized bed is 300 pound mass(s)