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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BedFrame
  FourPosterBed

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