Quadrilateral
|
|
appearance as argument number 1 |
(documentation Quadrilateral EnglishLanguage "Any four-sided Polygon.") | Mid-level-ontology.kif 4912-4912 | |
(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 4911-4911 |
appearance as argument number 2 |
(instance Rectangle Quadrilateral) | Mid-level-ontology.kif 4921-4921 | |
(termFormat ChineseLanguage Quadrilateral "四边形") | domainEnglishFormat.kif 48284-48284 | |
(termFormat ChineseTraditionalLanguage Quadrilateral "四邊形") | domainEnglishFormat.kif 48283-48283 | |
(termFormat EnglishLanguage Quadrilateral "quadrilateral") | domainEnglishFormat.kif 48282-48282 |
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 4078-4095 | |
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 4914-4919 |
consequent |
(=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral)))) |
Mid-level-ontology.kif 4071-4076 |