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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FourPosterBed
FourPosterBed(four-poster bed)four-poster, four-poster_bed

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


(defaultMaximumHeight FourPosterBed
    (MeasureFn 84 Inch))
DimensioningAmenities.kif 308-308 The maximum expected height of four-poster bed is 84 inch(s)
(defaultMaximumLength FourPosterBed
    (MeasureFn 88 Inch))
DimensioningAmenities.kif 312-312 The maximum expected length of four-poster bed is 88 inch(s)
(defaultMaximumMeasure FourPosterBed
    (MeasureFn 250 PoundMass))
DimensioningAmenities.kif 314-314 The maximum expected value of four-poster bed is 250 pound mass(s)
(defaultMaximumWidth FourPosterBed
    (MeasureFn 82 Inch))
DimensioningAmenities.kif 310-310 The maximum expected width of four-poster bed is 82 inch(s)
(defaultMinimumHeight FourPosterBed
    (MeasureFn 62 Inch))
DimensioningAmenities.kif 307-307 The minimum expected height of four-poster bed is 62 inch(s)
(defaultMinimumLength FourPosterBed
    (MeasureFn 77 Inch))
DimensioningAmenities.kif 311-311 The minimum expected length of four-poster bed is 77 inch(s)
(defaultMinimumMeasure FourPosterBed
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 313-313 The minimum expected value of four-poster bed is 100 pound mass(s)
(defaultMinimumWidth FourPosterBed
    (MeasureFn 40 Inch))
DimensioningAmenities.kif 309-309 The minimum expected width of four-poster bed is 40 inch(s)
(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 4542-4543
(subclass FourPosterBed BedFrame) Mid-level-ontology.kif 4541-4541 Four-poster bed is a subclass of bed frame

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


(termFormat EnglishLanguage FourPosterBed "four-poster bed") Mid-level-ontology.kif 4544-4544 "four-poster bed" is the printable form of four-poster bed in english language

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


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


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