|
|
   ClosedTwoDimensionalFigure
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ClosedTwoDimensionalFigure ChineseLanguage "这是任何有明确内部和外部分界的 TwoDimensionalFigure。") | chinese_format.kif 3980-3981 | |
| (documentation ClosedTwoDimensionalFigure EnglishLanguage "Any TwoDimensionalFigure which has a well defined interior and exterior.") | Merge.kif 17554-17555 | |
| (externalImage ClosedTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Parallelogram.svg") | pictureList.kif 1703-1703 | |
| (subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17553-17553 |
| appearance as argument number 2 |
|
|
| (subclass CircleSector ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 4699-4699 | |
| (subclass Oval ClosedTwoDimensionalFigure) | Merge.kif 7523-7523 | |
| (subclass Polygon ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 4605-4605 | |
| (termFormat ChineseLanguage ClosedTwoDimensionalFigure "封闭的二维图") | domainEnglishFormat.kif 15195-15195 | |
| (termFormat ChineseTraditionalLanguage ClosedTwoDimensionalFigure "封閉的二維圖") | domainEnglishFormat.kif 15194-15194 | |
| (termFormat EnglishLanguage ClosedTwoDimensionalFigure "closed two dimensional figure") | domainEnglishFormat.kif 15193-15193 |
| appearance as argument number 3 |
|
|
| (partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) | Merge.kif 17540-17540 |
| consequent |
|
|
| (=> (coilCount ?WC ?N) (exists (?C) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3117-3133 | |
| (=> (instance ?WC WireCoil) (exists (?P) (and (part ?P ?WC) (attribute ?P ClosedTwoDimensionalFigure)))) |
Cars.kif 3072-3077 |
|
|
|
