Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Polyhedron(polyhedron) |
| appearance as argument number 1 |
|
| (subclass Polyhedron ThreeDimensionalFigure) | Mid-level-ontology.kif 5449-5449 | Polyhedron is a subclass of three dimensional figure |
| (documentation Polyhedron EnglishLanguage "In geometry, a Polyhedron is a ThreeDimensionalFigure with flat polygonal faces, straight edges and sharp corners or vertices.[Wikipedia]") | Mid-level-ontology.kif 5450-5451 | Polyhedron is a subclass of three dimensional figure |
| appearance as argument number 2 |
|
|
| 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 |
| (=> (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 |
|