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 | 子類 四邊形 and 多邊形 |
appearance as argument number 2 |
(instance Rectangle Quadrilateral) | Mid-level-ontology.kif 4916-4916 | 例 長方形 and 四邊形 |
(termFormat ChineseLanguage Quadrilateral "四边形") | domainEnglishFormat.kif 48286-48286 | |
(termFormat ChineseTraditionalLanguage Quadrilateral "四邊形") | domainEnglishFormat.kif 48285-48285 | |
(termFormat EnglishLanguage Quadrilateral "quadrilateral") | domainEnglishFormat.kif 48284-48284 |
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 |