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 18139-18140
(documentation ClosedTwoDimensionalFigure EnglishLanguage "Any TwoDimensionalFigure which has a well defined interior and exterior.") Merge.kif 18137-18138
(externalImage ClosedTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Parallelogram.svg") pictureList.kif 1703-1703
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 18136-18136

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


(subclass CircleSector ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5271-5271
(subclass Oval ClosedTwoDimensionalFigure) Merge.kif 7765-7765
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5183-5183
(termFormat EnglishLanguage ClosedTwoDimensionalFigure "closed two dimensional figure") domainEnglishFormat.kif 2955-2955

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


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

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 3129-3145
(=>
    (instance ?WC WireCoil)
    (exists (?P)
        (and
            (part ?P ?WC)
            (attribute ?P ClosedTwoDimensionalFigure))))
Cars.kif 3084-3089


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