(=>
(instance ?POLYGON Polygon)
(=>
(geometricPart ?PART ?POLYGON)
(or
(sideOfFigure ?PART ?POLYGON)
(exists (?SIDE)
(and
(sideOfFigure ?SIDE ?POLYGON)
(geometricPart ?PART ?SIDE)))))) 
Midlevelontology.kif 51875196 

(=>
(instance ?QUAD Quadrilateral)
(equal
(CardinalityFn
(KappaFn ?SIDE
(sideOfFigure ?SIDE ?QUAD))) 4)) 
Midlevelontology.kif 52185220 

(=>
(instance ?SQUARE Square)
(exists (?LENGTH)
(forall (?SIDE)
(=>
(sideOfFigure ?SIDE ?SQUARE)
(lineMeasure ?SIDE ?LENGTH))))) 
Midlevelontology.kif 52355241 

(=>
(instance ?TRIANGLE Triangle)
(equal
(CardinalityFn
(KappaFn ?SIDE
(sideOfFigure ?SIDE ?TRIANGLE))) 3)) 
Midlevelontology.kif 52015203 

(=>
(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)))))))) 
Midlevelontology.kif 45464565 
