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


KB Term:  Term intersection
English Word: 

  MurphyBed

 Sigma KEE - MurphyBed
MurphyBed(pull-down bed)Murphy_bed

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


(subclass MurphyBed Bed) Mid-level-ontology.kif 4534-4534 Pull-down bed is a subclass of bed
(documentation MurphyBed EnglishLanguage "A MurphyBed is a type of Bed that can be stored vertically inside a wall, closet or cabinet") Mid-level-ontology.kif 4535-4536 Pull-down bed is a subclass of bed
(defaultMinimumHeight MurphyBed
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 450-450 The minimum expected height of pull-down bed is 18 inch(s)
(defaultMaximumHeight MurphyBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 451-451 The maximum expected height of pull-down bed is 40 inch(s)
(defaultMinimumWidth MurphyBed
    (MeasureFn 41 Inch))		 DimensioningAmenities.kif 452-452 The minimum expected width of pull-down bed is 41 inch(s)
(defaultMaximumWidth MurphyBed
    (MeasureFn 75 Inch))		 DimensioningAmenities.kif 453-453 The maximum expected width of pull-down bed is 75 inch(s)
(defaultMinimumLength MurphyBed
    (MeasureFn 76 Inch))		 DimensioningAmenities.kif 454-454 The minimum expected length of pull-down bed is 76 inch(s)
(defaultMaximumLength MurphyBed
    (MeasureFn 84 Inch))		 DimensioningAmenities.kif 455-455 The maximum expected length of pull-down bed is 84 inch(s)
(defaultMinimumMeasure MurphyBed
    (MeasureFn 50 PoundMass))		 DimensioningAmenities.kif 456-456 The minimum expected value of pull-down bed is 50 pound mass(s)
(defaultMaximumMeasure MurphyBed
    (MeasureFn 600 PoundMass))		 DimensioningAmenities.kif 457-457 The maximum expected value of pull-down bed is 600 pound mass(s)

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


(termFormat EnglishLanguage MurphyBed "pull-down bed") Mid-level-ontology.kif 4537-4537

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


(=>
    (instance ?X MurphyBed)
    (exists (?STORAGE)
        (and
            (instance ?STORAGE Compartment)
            (meetsSpatially ?STORAGE ?X)
            (hasPurpose ?STORAGE
                (exists (?K)
                    (and
                        (instance ?K Keeping)
                        (patient ?K ?X)
                        (destination ?K ?STORAGE)
                        (holdsDuring
                            (WhenFn ?K)
                            (attribute ?X Vertical))))))))		 Mid-level-ontology.kif 4539-4553 If X is an instance of pull-down bed, then there exists Y such that Y is an instance of compartment, Y meets X, Y has the purpose there exists Z such that Z is an instance of keeping, X is a patient of Z, Z ends up at Y, and vertical to is an attribute of X holds during the time of existence of Z


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