| Quadrilateral(quadrilateral)
| | parallelogram, quadrangle, quadrilateral, tetragon, trapezium, trapezoid |
| appearance as argument number 1 |
|
|
| (subclass Quadrilateral Polygon) | Mid-level-ontology.kif 5557-5557 | Quadrilateral is a subclass of polygon |
| (documentation Quadrilateral EnglishLanguage "Any four-sided Polygon.") | Mid-level-ontology.kif 5558-5558 | Quadrilateral is a subclass of polygon |
| (externalImage Quadrilateral "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d4/ Square_diagonals.svg/ 250px_Square_diagonals.svg.png") | pictureList.kif 1222-1222 | Quadrilateral is a subclass of polygon |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4538-4555 | If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of four-poster bed (3) X is an instance of quadrilateral (4) the size of X is Z (5) the size of X is W (6) equal Z and W, then All of the following hold: (1) there exist V, U,, , T (2) S such that V is a part of Y (3) U is an instance of floor (4) Y is on to U (5) V is vertical to to U (6) Z is point of intersection W for T (7) T is an attribute of S (8) S meets V |
| (=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 5560-5565 | If X is an instance of quadrilateral, then equal the number of instances in the class described by Y and 4 |
| consequent |
|
|
| (=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral)))) |
Mid-level-ontology.kif 4531-4536 | If X is an instance of four-poster bed, then there exists Y such that Y is an attribute of X and Y is an instance of quadrilateral |
|
|
|