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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BedFrame
BedFrame

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


(defaultMaximumHeight BedFrame
    (MeasureFn 48 Inch))
DimensioningAmenities.kif 410-410
(defaultMaximumLength BedFrame
    (MeasureFn 90 Inch))
DimensioningAmenities.kif 414-414
(defaultMaximumMeasure BedFrame
    (MeasureFn 200 PoundMass))
DimensioningAmenities.kif 416-416
(defaultMaximumWidth BedFrame
    (MeasureFn 80 Inch))
DimensioningAmenities.kif 412-412
(defaultMinimumHeight BedFrame
    (MeasureFn 10 Inch))
DimensioningAmenities.kif 409-409
(defaultMinimumLength BedFrame
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 413-413
(defaultMinimumMeasure BedFrame
    (MeasureFn 20 PoundMass))
DimensioningAmenities.kif 415-415
(defaultMinimumWidth BedFrame
    (MeasureFn 38 Inch))
DimensioningAmenities.kif 411-411
(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

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


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

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