Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| faceOfFigure |
| appearance as argument number 1 |
|
| (instance faceOfFigure BinaryPredicate) | Mid-level-ontology.kif 5476-5476 | face of figure is an instance of binary predicate |
| (relatedInternalConcept faceOfFigure sideOfFigure) | Mid-level-ontology.kif 5477-5477 | face of figure is internally related to side of figure |
| (documentation faceOfFigure EnglishLanguage "(faceOfFigure ?FACE ?FIGURE) means that the two TwoDimensionalFigure ?FACE is a face of GeometricFigure ?FIGURE.") | Mid-level-ontology.kif 5478-5479 | face of figure is internally related to side of figure |
| (domain faceOfFigure 1 TwoDimensionalFigure) | Mid-level-ontology.kif 5480-5480 | The number 1 argument of face of figure is an instance of two dimensional figure |
| (domain faceOfFigure 2 GeometricFigure) | Mid-level-ontology.kif 5481-5481 | The number 2 argument of face of figure is an instance of geometric figure |
| (subrelation faceOfFigure geometricPart) | Mid-level-ontology.kif 5484-5484 | face of figure is a subrelation of geometric part |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage faceOfFigure "face of figure") | Mid-level-ontology.kif 5482-5482 | |
| (format EnglishLanguage faceOfFigure "%1 is the face of Figure %2") | Mid-level-ontology.kif 5483-5483 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
| (=> (and (instance ?C Cube) (faceOfFigure ?S ?C)) (instance ?S Square)) |
Mid-level-ontology.kif 5568-5572 | If X is an instance of cube and Y is the face of Figure X, then Y is an instance of square |
| consequent |
|
|
| (=> (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 |
|