| Quadrilateral
| |
| appearance as argument number 1 |
|
|
| (documentation Quadrilateral EnglishLanguage "Any four_sided Polygon.") | Mid-level-ontology.kif 4907-4907 | |
| (externalImage Quadrilateral "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d4/ Square_diagonals.svg/ 250px_Square_diagonals.svg.png") | pictureList.kif 1222-1222 | |
| (subclass Quadrilateral Polygon) | Mid-level-ontology.kif 4906-4906 |
| appearance as argument number 2 |
|
|
| (instance Rectangle Quadrilateral) | Mid-level-ontology.kif 4916-4916 | |
| (termFormat ChineseLanguage Quadrilateral "四边形") | domainEnglishFormat.kif 48317-48317 | |
| (termFormat ChineseTraditionalLanguage Quadrilateral "四邊形") | domainEnglishFormat.kif 48316-48316 | |
| (termFormat EnglishLanguage Quadrilateral "quadrilateral") | domainEnglishFormat.kif 48315-48315 |
| 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 4071-4088 | |
| (=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 4909-4914 |
| consequent |
|
|
| (=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral)))) |
Mid-level-ontology.kif 4064-4069 |
|
|
|