Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Square
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute Square Rectangle) | Mid-level-ontology.kif 5703-5703 | Square is a subattribute of rectangle |
| (documentation Square EnglishLanguage "Any Rectangle whose sides are all equal.") | Mid-level-ontology.kif 5704-5704 | Square is a subattribute of rectangle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH)) |
Mid-level-ontology.kif 5706-5708 | If the size of square is X, then Y is a line measure of X |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
|