Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClosedTwoDimensionalFigure
ClosedTwoDimensionalFigure(closed two dimensional figure)
Jordan_curve, closed_curve, concave_polygon, convex_polygon, isogon, polygon, polygonal_shape, reentering_polygon, reentrant_polygon, regular_polygon, simple_closed_curve

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 16623-16624
(externalImage ClosedTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Parallelogram.svg") pictureList.kif 1703-1703
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 16622-16622 Closed two dimensional figure is a subclass of two dimensional figure

appearance as argument number 2
-------------------------


(subclass CircleSector ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5276-5276 Circle sector is a subclass of closed two dimensional figure
(subclass Oval ClosedTwoDimensionalFigure) Merge.kif 7226-7226 Oval is a subclass of closed two dimensional figure
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5188-5188 Polygon is a subclass of closed two dimensional figure
(termFormat ChineseLanguage ClosedTwoDimensionalFigure "封闭的二维图") domainEnglishFormat.kif 15136-15136
(termFormat ChineseTraditionalLanguage ClosedTwoDimensionalFigure "封閉的二維圖") domainEnglishFormat.kif 15135-15135
(termFormat EnglishLanguage ClosedTwoDimensionalFigure "closed two dimensional figure") domainEnglishFormat.kif 15134-15134

appearance as argument number 3
-------------------------


(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 16609-16609 Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure

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 3092-3108
(=>
    (instance ?WC WireCoil)
    (exists (?P)
        (and
            (part ?P ?WC)
            (attribute ?P ClosedTwoDimensionalFigure))))
Cars.kif 3047-3052


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners