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

Formal Language: 


KB Term:  Term intersection
English Word: 

  ClosedTwoDimensionalFigure

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

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


(instance CircleSector ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5601-5601 Circle sector is an instance of closed two dimensional figure
(instance CircularSegment ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5883-5883 Circular segment is an instance of closed two dimensional figure
(instance Oval ClosedTwoDimensionalFigure) Merge.kif 7682-7682 Oval is an instance of closed two dimensional figure
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5500-5500 Polygon is a subclass of closed two dimensional figure
(termFormat ChineseLanguage ClosedTwoDimensionalFigure "封闭的二维图") domainEnglishFormat.kif 15201-15201 Polygon is a subclass of closed two dimensional figure
(termFormat ChineseTraditionalLanguage ClosedTwoDimensionalFigure "封閉的二維圖") domainEnglishFormat.kif 15200-15200 Polygon is a subclass of closed two dimensional figure
(termFormat EnglishLanguage ClosedTwoDimensionalFigure "closed two dimensional figure") domainEnglishFormat.kif 15199-15199 Polygon is a subclass of closed two dimensional figure

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


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

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 3177-3194
(=>
    (instance ?WC WireCoil)
    (exists (?P ?C)
        (and
            (part ?P ?WC)
            (attribute ?P ?C)
            (instance ?C ClosedTwoDimensionalFigure))))		 Cars.kif 3131-3137


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

Show without tree


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