Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  KingBed

 Sigma KEE - KingBed
KingBed(king-sized bed)

appearance as argument number 1
-------------------------


(subclass KingBed Bed) Mid-level-ontology.kif 4425-4425 King-sized bed is a subclass of bed
(documentation KingBed EnglishLanguage "A KingBed is a type of Bed that is 1.9m by 2.0m in size") Mid-level-ontology.kif 4426-4427 King-sized bed is a subclass of bed
(defaultMinimumHeight KingBed
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 135-135 The minimum expected height of king-sized bed is 18 inch(s)
(defaultMaximumHeight KingBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 136-136 The maximum expected height of king-sized bed is 40 inch(s)
(defaultMinimumWidth KingBed
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 137-137 The minimum expected width of king-sized bed is 72 inch(s)
(defaultMaximumWidth KingBed
    (MeasureFn 76 Inch))		 DimensioningAmenities.kif 138-138 The maximum expected width of king-sized bed is 76 inch(s)
(defaultMinimumLength KingBed
    (MeasureFn 78 Inch))		 DimensioningAmenities.kif 139-139 The minimum expected length of king-sized bed is 78 inch(s)
(defaultMaximumLength KingBed
    (MeasureFn 84 Inch))		 DimensioningAmenities.kif 140-140 The maximum expected length of king-sized bed is 84 inch(s)
(defaultMinimumMeasure KingBed
    (MeasureFn 150 PoundMass))		 DimensioningAmenities.kif 141-141 The minimum expected value of king-sized bed is 150 pound mass(s)
(defaultMaximumMeasure KingBed
    (MeasureFn 600 PoundMass))		 DimensioningAmenities.kif 142-142 The maximum expected value of king-sized bed is 600 pound mass(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage KingBed "king-sized bed") Mid-level-ontology.kif 4428-4428

antecedent
-------------------------


(=>
    (instance ?X KingBed)
    (and
        (width ?X
            (MeasureFn 1.9 Meter))
        (length ?X
            (MeasureFn 2.0 Meter))))		 Mid-level-ontology.kif 4430-4434 If X is an instance of king-sized bed, then the width of X is 1.9 meter(s) and the length of X is 2.0 meter(s)
(=>
    (instance ?X KingBed)
    (modalAttribute
        (exists (?P1 ?P2 ?P3 ?TIME)
            (and
                (not
                    (equal ?P1 ?P2))
                (not
                    (equal ?P2 ?P3))
                (not
                    (equal ?P1 ?P3))
                (attribute ?P1 Asleep)
                (attribute ?P2 Asleep)
                (attribute ?P3 Asleep)
                (instance ?P1 Human)
                (instance ?P2 Human)
                (instance ?P3 Human)
                (holdsDuring ?TIME
                    (and
                        (located ?P1 ?X)
                        (located ?P2 ?X)
                        (located ?P3 ?X))))) Possibility))		 Mid-level-ontology.kif 4436-4454 If X is an instance of king-sized bed, then All of the following hold: (1) the statement there exist Y, Z,, , W (2) V such that equal Y (3) Z (4) equal Z (5) W (6) equal Y (7) W (8) asleep is an attribute of Y (9) asleep is an attribute of Z (10) asleep is an attribute of W (11) Y is an instance of human (12) Z is an instance of human (13) W is an instance of human (14) Y is located at X (15) Z is located at X (16) W is located at X holds during V has the modal force of possibility

consequent
-------------------------


(=>
    (instance ?KB KingBedRoom)
    (exists (?B)
        (and
            (instance ?KB HotelRoom)
            (instance ?B KingBed)
            (located ?B ?KB))))		 TravelPolicies.kif 1078-1084 If X is an instance of KingBedRoom, then there exists Y such that X is an instance of hotel room, Y is an instance of king-sized bed, and Y is located at X


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

Show without tree

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