ClosedTwoDimensionalFigure - Sigma Knowledge base Browser

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

appearance as argument number 2

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

appearance as argument number 3

(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure)

Merge.kif 18001-18001

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	If the number of coils in a wire coil is an integer, then there exist a collection and the collection2F such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then the collection2F is an attribute of the object and the collection2F is an instance of closed two dimensional figure and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object overlapsSpatially and the object2 is a member of the collection
(=> (instance ?WC WireCoil) (exists (?P ?C) (and (part ?P ?WC) (attribute ?P ?C) (instance ?C ClosedTwoDimensionalFigure))))	Cars.kif 3131-3137	If an object is an instance of wire coil, then there exist another object and an attribute such that the other object is a part of the object and the attribute is an attribute of the other object and the attribute is an instance of closed two dimensional figure

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