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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CD-R

Sigma KEE - FourPosterBed
FourPosterBed

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


(defaultMaximumHeight FourPosterBed
    (MeasureFn 84 Inch))
DimensioningAmenities.kif 308-308
(defaultMaximumLength FourPosterBed
    (MeasureFn 88 Inch))
DimensioningAmenities.kif 312-312
(defaultMaximumMeasure FourPosterBed
    (MeasureFn 250 PoundMass))
DimensioningAmenities.kif 314-314
(defaultMaximumWidth FourPosterBed
    (MeasureFn 82 Inch))
DimensioningAmenities.kif 310-310
(defaultMinimumHeight FourPosterBed
    (MeasureFn 62 Inch))
DimensioningAmenities.kif 307-307
(defaultMinimumLength FourPosterBed
    (MeasureFn 77 Inch))
DimensioningAmenities.kif 311-311
(defaultMinimumMeasure FourPosterBed
    (MeasureFn 100 PoundMass))
DimensioningAmenities.kif 313-313
(defaultMinimumWidth FourPosterBed
    (MeasureFn 40 Inch))
DimensioningAmenities.kif 309-309
(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

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


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

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