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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BedFrame
BedFrame(bed frame)bed_frame, bedframe, bedstead

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


(defaultMaximumHeight BedFrame
    (MeasureFn 48 Inch))
DimensioningAmenities.kif 410-410 The maximum expected height of bed frame is 48 inch(s)
(defaultMaximumLength BedFrame
    (MeasureFn 90 Inch))
DimensioningAmenities.kif 414-414 The maximum expected length of bed frame is 90 inch(s)
(defaultMaximumMeasure BedFrame
    (MeasureFn 200 PoundMass))
DimensioningAmenities.kif 416-416 The maximum expected value of bed frame is 200 pound mass(s)
(defaultMaximumWidth BedFrame
    (MeasureFn 80 Inch))
DimensioningAmenities.kif 412-412 The maximum expected width of bed frame is 80 inch(s)
(defaultMinimumHeight BedFrame
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 409-409 The minimum expected height of bed frame is 10 inch(s)
(defaultMinimumLength BedFrame
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 413-413 The minimum expected length of bed frame is 75 inch(s)
(defaultMinimumMeasure BedFrame
    (MeasureFn 20 PoundMass))
DimensioningAmenities.kif 415-415 The minimum expected value of bed frame is 20 pound mass(s)
(defaultMinimumWidth BedFrame
    (MeasureFn 38 Inch))
DimensioningAmenities.kif 411-411 The minimum expected width of bed frame is 38 inch(s)
(documentation BedFrame EnglishLanguage "A BedFrame is a %&component of a Bed that supports the mattress") Mid-level-ontology.kif 4528-4529
(subclass BedFrame Artifact) Mid-level-ontology.kif 4527-4527 Bed frame is a subclass of artifact

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


(subclass FourPosterBed BedFrame) Mid-level-ontology.kif 4541-4541 Four-poster bed is a subclass of bed frame
(termFormat EnglishLanguage BedFrame "bed frame") Mid-level-ontology.kif 4530-4530 "bed frame" is the printable form of bed frame in english language

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 4532-4539


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