Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 4523-4523 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 4524-4525 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 4526-4526

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


(=>
    (instance ?X FourPosterBed)
    (exists (?SHAPE)
        (and
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral))))		 Mid-level-ontology.kif 4531-4536 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 4538-4555 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 is open source software produced by Articulate Software and its partners