Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cube(cube) |
| appearance as argument number 1 |
|
| (instance Cube Polyhedron) | Mid-level-ontology.kif 5553-5553 | Cube is an instance of polyhedron |
| (documentation Cube EnglishLanguage "In geometry, a Cube or regular hexahedron is a three-dimensional solid object bounded by six congruent square faces, a type of polyhedron. It has twelve congruent edges and eight vertices. It is a type of parallelepiped, with pairs of parallel opposite faces, and more specifically a rhombohedron, with congruent edges, and a rectangular cuboid, with right angles between pairs of intersecting faces and pairs of intersecting edges.[Wikipedia]") | Mid-level-ontology.kif 5554-5558 | Cube is an instance of polyhedron |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cube "cube") | Mid-level-ontology.kif 5559-5559 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
|