| Quadrilateral(四边形)
| |
| appearance as argument number 1 |
|
|
| (documentation Quadrilateral EnglishLanguage "Any four-sided Polygon.") | Mid-level-ontology.kif 4614-4614 | |
| (externalImage Quadrilateral "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d4/ Square_diagonals.svg/ 250px-Square_diagonals.svg.png") | pictureList.kif 1223-1223 | |
| (subclass Quadrilateral Polygon) | Mid-level-ontology.kif 4613-4613 | 四边形 是 多边形 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Rectangle Quadrilateral) | Mid-level-ontology.kif 4620-4620 | 长方形 是 四边形 的 subclass |
| (termFormat ChineseLanguage Quadrilateral "四边形") | domainEnglishFormat.kif 48266-48266 | |
| (termFormat ChineseTraditionalLanguage Quadrilateral "四邊形") | domainEnglishFormat.kif 48265-48265 | |
| (termFormat EnglishLanguage Quadrilateral "quadrilateral") | domainEnglishFormat.kif 48264-48264 |
| antecedent |
|
|
| (=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 4616-4618 |
| consequent |
|
|
| (=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral) (forall (?CORNER) (=> (and (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR) (and (meetsSpatially ?CORNER ?POST) (instance ?POST Artifact) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical)))))))) |
Mid-level-ontology.kif 3947-3966 |
|
|
|