Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BedFrame
BedFramebed_frame, bedframe, bedstead

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


(defaultMaximumHeight BedFrame
    (MeasureFn 48 Inch))
DimensioningAmenities.kif 163-163
(defaultMaximumLength BedFrame
    (MeasureFn 90 Inch))
DimensioningAmenities.kif 167-167
(defaultMaximumMeasure BedFrame
    (MeasureFn 200 PoundMass))
DimensioningAmenities.kif 169-169
(defaultMaximumWidth BedFrame
    (MeasureFn 80 Inch))
DimensioningAmenities.kif 165-165
(defaultMinimumHeight BedFrame
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 162-162
(defaultMinimumLength BedFrame
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 166-166
(defaultMinimumMeasure BedFrame
    (MeasureFn 20 PoundMass))
DimensioningAmenities.kif 168-168
(defaultMinimumWidth BedFrame
    (MeasureFn 38 Inch))
DimensioningAmenities.kif 164-164
(documentation BedFrame EnglishLanguage "A BedFrame is a %&component of a Bed that supports the mattress") Mid-level-ontology.kif 4532-4533
(subclass BedFrame Artifact) Mid-level-ontology.kif 4531-4531

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


(subclass FourPosterBed BedFrame) Mid-level-ontology.kif 4545-4545
(termFormat EnglishLanguage BedFrame "bed frame") Mid-level-ontology.kif 4534-4534

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


(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))
Mid-level-ontology.kif 4536-4543


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners