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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - FourPosterBed

appearance as argument number 1

(defaultMaximumHeight FourPosterBed
    (MeasureFn 84 Inch))
DimensioningAmenities.kif 61-61
(defaultMaximumLength FourPosterBed
    (MeasureFn 88 Inch))
DimensioningAmenities.kif 65-65
(defaultMaximumMeasure FourPosterBed
    (MeasureFn 250 PoundMass))
DimensioningAmenities.kif 67-67
(defaultMaximumWidth FourPosterBed
    (MeasureFn 82 Inch))
DimensioningAmenities.kif 63-63
(defaultMinimumHeight FourPosterBed
    (MeasureFn 62 Inch))
DimensioningAmenities.kif 60-60
(defaultMinimumLength FourPosterBed
    (MeasureFn 77 Inch))
DimensioningAmenities.kif 64-64
(defaultMinimumMeasure FourPosterBed
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 66-66
(defaultMinimumWidth FourPosterBed
    (MeasureFn 40 Inch))
DimensioningAmenities.kif 62-62
(documentation FourPosterBed EnglishLanguage "FourPosterBed is a type of BedFrame with a post at each corner to support curtains or a canopy") Mid-level-ontology.kif 4546-4547
(subclass FourPosterBed BedFrame) Mid-level-ontology.kif 4545-4545

appearance as argument number 2

(termFormat EnglishLanguage FourPosterBed "four-poster bed") Mid-level-ontology.kif 4548-4548


    (instance ?X FourPosterBed)
    (exists (?SHAPE)
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral)
            (forall (?CORNER)
                        (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER)
                        (sideOfFigure ?SIDE1 ?SHAPE)
                        (sideOfFigure ?SIDE2 ?SHAPE)
                            (equal ?SIDE1 ?SIDE2)))
                    (exists (?POST ?FLOOR)
                            (meetsSpatially ?CORNER ?POST)
                            (instance ?POST Artifact)
                            (instance ?FLOOR Floor)
                            (orientation ?BED ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4550-4569

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