geometricPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - geometricPart

geometricPart

appearance as argument number 1

(documentation geometricPart ChineseLanguage "(geometricPart ?PART ?WHOLE)的意思是 GeometricFigure ?PART 是 GeometricFigure ?WHOLE 的一部分。")	chinese_format.kif 3984-3985
(documentation geometricPart EnglishLanguage "(geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE.")	Merge.kif 17926-17927
(domain geometricPart 1 GeometricFigure)	Merge.kif 17924-17924	The number 1 argument of geometric part is an instance of geometric figure
(domain geometricPart 2 GeometricFigure)	Merge.kif 17925-17925	The number 2 argument of geometric part is an instance of geometric figure
(instance geometricPart BinaryPredicate)	Merge.kif 17922-17922	geometric part is an instance of binary predicate
(instance geometricPart PartialOrderingRelation)	Merge.kif 17923-17923	geometric part is an instance of partial ordering relation

appearance as argument number 2

(format ChineseLanguage geometricPart "%2 %n 是 %1 的 geometric 部分")	domainEnglishFormat.kif 1105-1105
(format ChineseTraditionalLanguage geometricPart "%2 %n 是 %1 的 geometric 部分")	domainEnglishFormat.kif 1104-1104
(format EnglishLanguage geometricPart "%2 is %n a geometric part of %1")	domainEnglishFormat.kif 1103-1103
(subrelation angleOfFigure geometricPart)	Merge.kif 17936-17936	angle of figure is a subrelation of geometric part
(subrelation faceOfFigure geometricPart)	Mid-level-ontology.kif 4950-4950	face of figure is a subrelation of geometric part
(subrelation pointOfFigure geometricPart)	Merge.kif 17929-17929	point of figure is a subrelation of geometric part
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 5527-5527	side of figure is a subrelation of geometric part
(termFormat ChineseLanguage geometricPart "几何部分")	domainEnglishFormat.kif 25852-25852	side of figure is a subrelation of geometric part
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分")	domainEnglishFormat.kif 25851-25851	side of figure is a subrelation of geometric part
(termFormat EnglishLanguage geometricPart "geometric part")	domainEnglishFormat.kif 25850-25850	side of figure is a subrelation of geometric part

antecedent

(=> (and (equal ?S CircleSector) (equal ?C Circle) (geometricPart ?S ?C) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?S)) (lineMeasure ?L (RadiusFn ?C)))	Mid-level-ontology.kif 5238-5245	If a geometric figure is equal to circle sector and a circle is equal to circle and the circle is a geometric part of the geometric figure and an one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure, then the radius of the circle is a line measure of the one dimensional figure
(=> (and (equal ?S CircularSegment) (equal ?A CircularArc) (geometricPart ?A ?S) (equal ?C ChordOfACircle) (geometricPart ?C ?S)) (exists (?P1 ?P2) (and (not (equal ?P1 ?P2)) (endPointsOfLine ?P1 ?P2 ?C) (pointOfIntersection ?A ?C ?P1) (pointOfIntersection ?A ?C ?P2))))	Mid-level-ontology.kif 5501-5514	If a geometric figure is equal to circular segment and an one dimensional figure is equal to circular arc and the geometric figure is a geometric part of the one dimensional figure and another one dimensional figure is equal to chord of a circle and the geometric figure is a geometric part of the other one dimensional figure, then there exist a geometric point and another geometric point such that the geometric point is not equal to the other geometric point and the geometric point and the other geometric point are endPointsOfLine of the other one dimensional figure and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the one dimensional figure is point of intersection the other one dimensional figure for the other geometric point
(=> (and (instance ?POLYGON Polygon) (geometricPart ?PART ?POLYGON)) (equal ?PART StraightLine))	Mid-level-ontology.kif 5118-5122	If a geometric figure is an instance of polygon and the geometric figure is a geometric part of another geometric figure, then the other geometric figure is equal to straight line

consequent

(=> (and (arcLength ?SEMI (MeasureFn ?L ?U)) (equal ?SEMI SemicircularArc)) (exists (?CIR ?C) (and (equal ?CIR Circle) (geometricPart ?SEMI ?CIR) (circumference ?CIR (MeasureFn ?C ?U)) (equal ?C (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5312-5322	If a real number an unit of measure(s) is the LengthMeasure of a circular arc and the circular arc is equal to semicircular arc, then there exist a circle and another real number such that the circle is equal to circle and the circle is a geometric part of the circular arc and circumference the circle and the other real number the unit of measure(s) and the other real number is equal to (the real number and the real number)
(=> (and (equal ?A CircularArc) (pointOfFigure ?P ?A)) (exists (?C ?P2) (and (geometricPart ?A ?C) (equal ?C Circle) (pointOfFigure ?P2 ?C) (equal ?P ?P2))))	Mid-level-ontology.kif 5270-5279	If a geometric figure is equal to circular arc and a geometric point is a vertex of the geometric figure, then there exist another geometric figure and the geometric point2 such that the other geometric figure is a geometric part of the geometric figure and the other geometric figure is equal to circle and the geometric point2 is a vertex of the other geometric figure and the geometric point is equal to the geometric point2
(=> (and (equal ?S SecantLine) (pointOfFigure ?P1 ?S) (pointOfFigure ?P2 ?S) (not (equal ?P1 ?P2)) (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C)) (exists (?CHORD) (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD) (geometricPart ?CHORD ?S))))	Mid-level-ontology.kif 5479-5493	If a geometric figure is equal to secant line and a geometric point is a vertex of the geometric figure and another geometric point is a vertex of the geometric figure and the geometric point is not equal to the other geometric point and another geometric figure is equal to circle and the geometric point is a vertex of the other geometric figure and the other geometric point is a vertex of the other geometric figure, then there exists the other geometric figureHORD such that the other geometric figureHORD is equal to chord of a circle and the geometric point and the other geometric point are endPointsOfLine of the other geometric figureHORD and the geometric figure is a geometric part of the other geometric figureHORD
(=> (equal ?A CircularArc) (exists (?C) (and (equal ?C Circle) (geometricPart ?A ?C))))	Mid-level-ontology.kif 5261-5266	If a geometric figure is equal to circular arc, then there exists another geometric figure such that the other geometric figure is equal to circle and the other geometric figure is a geometric part of the geometric figure
(=> (equal ?S CircleSector) (exists (?C ?A) (and (equal ?C Circle) (geometricPart ?S ?C) (equal ?A CircularArc) (geometricPart ?A ?C) (sideOfFigure ?A ?S) (sideOfIntersection ?S ?C ?A))))	Mid-level-ontology.kif 5218-5227	If a two dimensional figure is equal to circle sector, then there exist another two dimensional figure and an one dimensional figure such that the other two dimensional figure is equal to circle and the other two dimensional figure is a geometric part of the two dimensional figure and the one dimensional figure is equal to circular arc and the other two dimensional figure is a geometric part of the one dimensional figure and the size of the two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
(=> (instance ?A CentralAngle) (exists (?L ?L2 ?C ?R) (and (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (equal ?L2 ClosedLineSegment) (sideOfFigure ?L2 ?A) (equal ?C Circle) (geometricPart ?A ?C) (pointOfIntersection ?L ?L2 (CenterOfCircleFn ?C)) (lineMeasure ?L ?R) (lineMeasure ?L2 ?R) (radius ?C ?R))))	Mid-level-ontology.kif 5349-5363	If a geometric figure is an instance of central angle, then there exist an one dimensional figure, the one dimensional figure2,, , a circle and a length measure such that the one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure and the one dimensional figure2 is equal to closed line segment and the size of the geometric figure is the one dimensional figure2 and the circle is equal to circle and the circle is a geometric part of the geometric figure and the one dimensional figure is point of intersection the one dimensional figure2 for the center of circle of the circle and the length measure is a line measure of the one dimensional figure and the length measure is a line measure of the one dimensional figure2 and the radius of the circle is the length measure
(=> (instance ?P Polyhedron) (exists (?F) (and (faceOfFigure ?F ?P) (geometricPart ?F ?P))))	Mid-level-ontology.kif 4952-4957	If a geometric figure is an instance of polyhedron, then there exists a two dimensional figure such that the two dimensional figure is the face of Figure the geometric figure and the geometric figure is a geometric part of the two dimensional figure
(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 5124-5129	If a geometric figure is an instance of polygon, then there exists an one dimensional figure such that the size of the geometric figure is the one dimensional figure and the geometric figure is a geometric part of the one 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