(=>
(and
(instance ?P Polyhedron)
(faceOfFigure ?F1 ?P)
(instance ?F1 Polygon)
(sideOfFigure ?S ?F1))
(exists (?F2)
(and
(instance ?F2 Polygon)
(faceOfFigure ?F2 ?P)
(not
(equal ?F1 ?F2))
(sideOfFigure ?S ?F2)
(sideOfIntersection ?F1 ?F2 ?S)))) |
Mid-level-ontology.kif 5454-5467 |
If X is an instance of polyhedron, Y is the face of Figure X, Y is an instance of polygon, and the size of Y is Z, then All of the following hold: (1) there exists W such that W is an instance of polygon (2) W is the face of Figure X (3) equal Y (4) W (5) the size of W is Z (6) Z is the intersection Y (7) W |
(=>
(instance ?P Polyhedron)
(greaterThanOrEqualTo
(CardinalityFn
(KappaFn ?F
(faceOfFigure ?F ?P))) 4)) |
Mid-level-ontology.kif 5469-5474 |
If X is an instance of polyhedron, then the number of instances in the class described by Y is greater than or equal to 4 |
(=>
(instance ?P Polyhedron)
(exists (?F)
(and
(faceOfFigure ?F ?P)
(geometricPart ?F ?P)))) |
Mid-level-ontology.kif 5486-5491 |
If X is an instance of polyhedron, then there exists Y such that Y is the face of Figure X and X is a geometric part of Y |
(=>
(and
(instance ?PY Pyramid)
(instance ?POL Polygon)
(faceOfFigure ?POL ?PY)
(sideOfFigure ?S ?POL)
(instance ?T Triangle)
(faceOfFigure ?T ?PY)
(sideOfFigure ?S ?T)
(sideOfIntersection ?POL ?T ?S))
(equal
(CardinalityFn
(KappaFn ?S
(sideOfFigure ?S ?POL)))
(CardinalityFn
(KappaFn ?T
(faceOfFigure ?T ?PY))))) |
Mid-level-ontology.kif 5515-5531 |
If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W |
(=>
(instance ?P SquarePyramid)
(exists (?S)
(and
(instance ?S Square)
(faceOfFigure ?S ?P)))) |
Mid-level-ontology.kif 5539-5544 |
If X is an instance of square pyramid, then there exists Y such that Y is an instance of square and Y is the face of Figure X |
(=>
(instance ?P SquarePyramid)
(equal
(CardinalityFn
(KappaFn ?F
(faceOfFigure ?F ?P))) 4)) |
Mid-level-ontology.kif 5546-5551 |
If X is an instance of square pyramid, then equal the number of instances in the class described by Y and 4 |
(=>
(instance ?C Cube)
(equal
(CardinalityFn
(KappaFn ?F
(faceOfFigure ?F ?C))) 6)) |
Mid-level-ontology.kif 5561-5566 |
If X is an instance of cube, then equal the number of instances in the class described by Y and 6 |
