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 17832-17833 | |
(externalImage ClosedTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Parallelogram.svg") | pictureList.kif 1702-1702 | |
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17831-17831 | ClosedTwoDimensionalFigure è una sottoclasse di TwoDimensionalFigure |
appearance as argument number 2 |
(instance CircleSector ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 4972-4972 | CircleSector è un' istanza di ClosedTwoDimensionalFigure |
(instance Oval ClosedTwoDimensionalFigure) | Merge.kif 7618-7618 | Oval è un' istanza di ClosedTwoDimensionalFigure |
(subclass Polygon ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 4871-4871 | Polygon è una sottoclasse di ClosedTwoDimensionalFigure |
(termFormat ChineseLanguage ClosedTwoDimensionalFigure "封闭的二维图") | domainEnglishFormat.kif 15192-15192 | |
(termFormat ChineseTraditionalLanguage ClosedTwoDimensionalFigure "封閉的二維圖") | domainEnglishFormat.kif 15191-15191 | |
(termFormat EnglishLanguage ClosedTwoDimensionalFigure "closed two dimensional figure") | domainEnglishFormat.kif 15190-15190 |
appearance as argument number 3 |
(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) | Merge.kif 17818-17818 | TwoDimensionalFigure è esaustivamente partizionato in OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure |
consequent |
(=> (coilCount ?WC ?N) (exists (?C ?C2F) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ?C2F) (instance ?C2F ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C)))))))))) |
Cars.kif 3124-3141 |
|
(=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure)))) |
Cars.kif 3078-3084 |