Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

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

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


(subclass FourPosterBed BedFrame) Mid-level-ontology.kif 4709-4709 Four-poster bed is a subclass of bed frame
(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 4710-4711 Four-poster bed is a subclass of bed frame
(defaultMinimumHeight FourPosterBed
    (MeasureFn 62 Inch))		 DimensioningAmenities.kif 60-60 The minimum expected height of four-poster bed is 62 inch(s)
(defaultMaximumHeight FourPosterBed
    (MeasureFn 84 Inch))		 DimensioningAmenities.kif 61-61 The maximum expected height of four-poster bed is 84 inch(s)
(defaultMinimumWidth FourPosterBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 62-62 The minimum expected width of four-poster bed is 40 inch(s)
(defaultMaximumWidth FourPosterBed
    (MeasureFn 82 Inch))		 DimensioningAmenities.kif 63-63 The maximum expected width of four-poster bed is 82 inch(s)
(defaultMinimumLength FourPosterBed
    (MeasureFn 77 Inch))		 DimensioningAmenities.kif 64-64 The minimum expected length of four-poster bed is 77 inch(s)
(defaultMaximumLength FourPosterBed
    (MeasureFn 88 Inch))		 DimensioningAmenities.kif 65-65 The maximum expected length of four-poster bed is 88 inch(s)
(defaultMinimumMeasure FourPosterBed
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 66-66 The minimum expected value of four-poster bed is 100 pound mass(s)
(defaultMaximumMeasure FourPosterBed
    (MeasureFn 250 PoundMass))		 DimensioningAmenities.kif 67-67 The maximum expected value of four-poster bed is 250 pound mass(s)

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


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

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


(=>
    (instance ?X FourPosterBed)
    (exists (?SHAPE)
        (and
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral))))		 Mid-level-ontology.kif 4717-4722 If X is an instance of four-poster bed, then there exists Y such that Y is an attribute of X and Y is an instance of quadrilateral
(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))		 Mid-level-ontology.kif 4724-4741 If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of four-poster bed (3) X is an instance of quadrilateral (4) the size of X is Z (5) the size of X is W (6) equal Z and W, then All of the following hold: (1) there exist V, U,, , T (2) S such that V is a part of Y (3) U is an instance of floor (4) Y is on to U (5) V is vertical to to U (6) Z is point of intersection W for T (7) T is an attribute of S (8) S meets V


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners