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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClosedTwoDimensionalFigure

Sigma KEE - ClosedTwoDimensionalFigure
ClosedTwoDimensionalFigure
شكْل مُضلّع, مُضلّع, مُتساوِي الزّوايا, مُضلّع مُنْتظِم, مُنْحنى مُقْفل, مُنْحنى بسِيط مُغْلق, مُنْحنى جُورْدان,

appearance as argument number 1
-------------------------


(documentation ClosedTwoDimensionalFigure ChineseLanguage "这是任何有明确内部和外部分界的 TwoDimensionalFigure。") Merge.kif 18225-18226
(documentation ClosedTwoDimensionalFigure EnglishLanguage "Any TwoDimensionalFigure which has a well defined interior and exterior.") Merge.kif 18223-18224
(externalImage ClosedTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Parallelogram.svg") pictureList.kif 1703-1703
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 18222-18222

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


(subclass CircleSector ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5275-5275
(subclass Oval ClosedTwoDimensionalFigure) Merge.kif 7794-7794
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5187-5187
(termFormat EnglishLanguage ClosedTwoDimensionalFigure "closed two dimensional figure") domainEnglishFormat.kif 2955-2955

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


(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 18203-18203

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 3088-3104
(=>
    (instance ?WC WireCoil)
    (exists (?P)
        (and
            (part ?P ?WC)
            (attribute ?P ClosedTwoDimensionalFigure))))
Cars.kif 3043-3048


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners