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


KB Term:  Term intersection
English Word: 

Sigma KEE - BunkBed
BunkBed(bunk bed)bunk, bunk_bed

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


(subclass BunkBed Bed) Mid-level-ontology.kif 4519-4519 Bunk bed is a subclass of bed
(documentation BunkBed EnglishLanguage "A BunkBed is a type of Bed has one bed directly above another") Mid-level-ontology.kif 4520-4521 Bunk bed is a subclass of bed
(defaultMinimumHeight BunkBed
    (MeasureFn 50 Inch))		 DimensioningAmenities.kif 171-171 The minimum expected height of bunk bed is 50 inch(s)
(defaultMaximumHeight BunkBed
    (MeasureFn 75 Inch))		 DimensioningAmenities.kif 172-172 The maximum expected height of bunk bed is 75 inch(s)
(defaultMinimumWidth BunkBed
    (MeasureFn 38 Inch))		 DimensioningAmenities.kif 173-173 The minimum expected width of bunk bed is 38 inch(s)
(defaultMaximumWidth BunkBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 174-174 The maximum expected width of bunk bed is 40 inch(s)
(defaultMinimumLength BunkBed
    (MeasureFn 75 Inch))		 DimensioningAmenities.kif 175-175 The minimum expected length of bunk bed is 75 inch(s)
(defaultMaximumLength BunkBed
    (MeasureFn 80 Inch))		 DimensioningAmenities.kif 176-176 The maximum expected length of bunk bed is 80 inch(s)
(defaultMinimumMeasure BunkBed
    (MeasureFn 60 PoundMass))		 DimensioningAmenities.kif 177-177 The minimum expected value of bunk bed is 60 pound mass(s)
(defaultMaximumMeasure BunkBed
    (MeasureFn 150 PoundMass))		 DimensioningAmenities.kif 178-178 The maximum expected value of bunk bed is 150 pound mass(s)

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


(termFormat EnglishLanguage BunkBed "bunk bed") Mid-level-ontology.kif 4522-4522

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


(=>
    (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


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners