(=>
(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 4078-4095 |
|