DoubleBed - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage DoubleBed "full-sized bed")

antecedent

(=> (instance ?X DoubleBed) (and (width ?X (MeasureFn 1.35 Meter)) (length ?X (MeasureFn 2.0 Meter))))	Mid-level-ontology.kif 4487-4491	If X is an instance of full-sized bed, then the width of X is 1.35 meter(s) and the length of X is 2.0 meter(s)
(=> (instance ?X DoubleBed) (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 4493-4506	If X is an instance of full-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 ?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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners

(subclass DoubleBed Bed)	Mid-level-ontology.kif 4482-4482	Full-sized bed is a subclass of bed
(documentation DoubleBed EnglishLanguage "A DoubleBed is a type of Bed that is 1.35m by 2.0m in size")	Mid-level-ontology.kif 4483-4484	Full-sized bed is a subclass of bed
(defaultMinimumHeight DoubleBed (MeasureFn 18 Inch))	DimensioningAmenities.kif 107-107	The minimum expected height of full-sized bed is 18 inch(s)
(defaultMaximumHeight DoubleBed (MeasureFn 40 Inch))	DimensioningAmenities.kif 108-108	The maximum expected height of full-sized bed is 40 inch(s)
(defaultMinimumWidth DoubleBed (MeasureFn 54 Inch))	DimensioningAmenities.kif 109-109	The minimum expected width of full-sized bed is 54 inch(s)
(defaultMaximumWidth DoubleBed (MeasureFn 54 Inch))	DimensioningAmenities.kif 110-110	The maximum expected width of full-sized bed is 54 inch(s)
(defaultMinimumLength DoubleBed (MeasureFn 75 Inch))	DimensioningAmenities.kif 111-111	The minimum expected length of full-sized bed is 75 inch(s)
(defaultMaximumLength DoubleBed (MeasureFn 75 Inch))	DimensioningAmenities.kif 112-112	The maximum expected length of full-sized bed is 75 inch(s)
(defaultMinimumMeasure DoubleBed (MeasureFn 100 PoundMass))	DimensioningAmenities.kif 113-113	The minimum expected value of full-sized bed is 100 pound mass(s)
(defaultMaximumMeasure DoubleBed (MeasureFn 400 PoundMass))	DimensioningAmenities.kif 114-114	The maximum expected value of full-sized bed is 400 pound mass(s)