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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClosedTwoDimensionalFigure
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 17810-17811
(externalImage ClosedTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Parallelogram.svg") pictureList.kif 1702-1702
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17809-17809 ClosedTwoDimensionalFigure est une sous-classe de TwoDimensionalFigure

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


(subclass CircleSector ClosedTwoDimensionalFigure) Mid-level-ontology.kif 4973-4973 CircleSector est une sous-classe de ClosedTwoDimensionalFigure
(subclass Oval ClosedTwoDimensionalFigure) Merge.kif 7613-7613 Oval est une sous-classe de ClosedTwoDimensionalFigure
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 4874-4874 Polygon est une sous-classe de 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 17796-17796 TwoDimensionalFigure est compl�tement d�compos� en OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure

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 3117-3133
(=>
    (instance ?WC WireCoil)
    (exists (?P)
        (and
            (part ?P ?WC)
            (attribute ?P ClosedTwoDimensionalFigure))))
Cars.kif 3072-3077


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