pointOfFigure - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - pointOfFigure

pointOfFigure

appearance as argument number 1

(documentation pointOfFigure ChineseLanguage "(pointOfFigure ?POINT ?FIGURE)的意思是 GeometricPoint ?POINT 是 GeometricFigure ?FIGURE 的一部分。")	chinese_format.kif 3986-3987
(documentation pointOfFigure EnglishLanguage "(pointOfFigure ?POINT ?FIGURE) means that the GeometricPoint ?POINT is part of the GeometricFigure ?FIGURE.")	Merge.kif 17997-17998
(domain pointOfFigure 1 GeometricPoint)	Merge.kif 17995-17995	The number 1 argument of point of figure is an instance of geometric point
(domain pointOfFigure 2 GeometricFigure)	Merge.kif 17996-17996	The number 2 argument of point of figure is an instance of geometric figure
(instance pointOfFigure BinaryPredicate)	Merge.kif 17994-17994	point of figure is an instance of binary predicate
(subrelation pointOfFigure geometricPart)	Merge.kif 17993-17993	point of figure is a subrelation of geometric part

appearance as argument number 2

(format ChineseLanguage pointOfFigure "%1 %n 是 %2 的顶点")	chinese_format.kif 794-794
(format EnglishLanguage pointOfFigure "%1 is %n a vertex of %2")	english_format.kif 799-799
(format FrenchLanguage pointOfFigure "%1 est %n un point de %2")	french_format.kif 478-478
(format JapaneseLanguage pointOfFigure "%1 の vertex は %2 では %n")	english_format.kif 800-800
(format PortugueseLanguage pointOfFigure "%1 e' %n um ponto de %2")	portuguese_format.kif 430-430
(format ro pointOfFigure "%1 %n{nu} este un vertex%t{vârf} al lui %2")	relations-ro.kif 500-500
(termFormat ChineseLanguage pointOfFigure "图形的顶点")	chinese_format.kif 795-795
(termFormat ChineseLanguage pointOfFigure "点图")	domainEnglishFormat.kif 46387-46387
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖")	domainEnglishFormat.kif 46386-46386
(termFormat EnglishLanguage pointOfFigure "point of figure")	domainEnglishFormat.kif 46385-46385

antecedent

(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R))	Mid-level-ontology.kif 5608-5613	If the center of circle of a circle is equal to a geometric point and the geometric point2 is a vertex of the circle and the geometric point2 is geometric distance the geometric point for a length measure, then the radius of the circle is equal to the length measure
(=> (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 5677-5686	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 ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine))	Mid-level-ontology.kif 5865-5871	If a geometric figure is equal to chord of a circle and the center of circle of a circle is a vertex of the geometric figure and the circle is equal to circle, then the geometric figure is equal to diameter line
(=> (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 5886-5900	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

consequent

(=> (and (arcLength ?A ?L) (equal ?A CircularArc)) (exists (?P ?P2) (and (pointOfFigure ?P ?A) (pointOfFigure ?P2 ?A) (not (equal ?P ?P2)) (geometricDistance ?P ?P2 ?L))))	Mid-level-ontology.kif 5703-5713	If a length measure is the LengthMeasure of a circular arc and the circular arc is equal to circular arc, then there exist a geometric point and the geometric point2 such that the geometric point is a vertex of the circular arc and the geometric point2 is a vertex of the circular arc and the geometric point is not equal to the geometric point2 and the geometric point is geometric distance the geometric point2 for the length measure
(=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST)))))	Mid-level-ontology.kif 5946-5954	If an attribute is an attribute of an object and the attribute is an instance of sphere, then there exist a geometric point and a length measure such that for all another geometric point if the other geometric point is a vertex of the object, then the other geometric point is geometric distance the geometric point for the length measure
(=> (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 5677-5686	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 ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD)) (exists (?C) (and (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C))))	Mid-level-ontology.kif 5850-5858	If a closed line segment is equal to chord of a circle and a geometric point and another geometric point are endPointsOfLine of the closed line segment, then there exists a geometric figure such that the geometric figure is equal to circle and the geometric point is a vertex of the geometric figure and the other geometric point is a vertex of the geometric figure
(=> (and (tangent ?LINE ?CIRCLE) (sideOfFigure ?CURVE ?CIRCLE)) (exists (?POINT1) (and (pointOfFigure ?POINT1 ?LINE) (pointOfFigure ?POINT1 ?CURVE) (forall (?POINT2) (=> (and (pointOfFigure ?POINT2 ?LINE) (pointOfFigure ?POINT2 ?CURVE)) (equal ?POINT1 ?POINT2))))))	Mid-level-ontology.kif 5278-5291	If a tangent of an oval is a tangent line and the size of the oval is an one dimensional figure, then there exists a geometric point such that the geometric point is a vertex of the tangent line and the geometric point is a vertex of the one dimensional figure and for all another geometric point if the other geometric point is a vertex of the tangent line and the other geometric point is a vertex of the one dimensional figure, then the geometric point is equal to the other geometric point
(=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2)))	Merge.kif 18014-18018	If an one dimensional figure is point of intersection another one dimensional figure for a geometric point, then the geometric point is a vertex of the one dimensional figure and the geometric point is a vertex of the other one dimensional figure
(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7710-7716	If the radius of a circle is a length measure, then there exists a geometric point such that for all another geometric point if the other geometric point is a vertex of the circle, then the other geometric point is geometric distance the geometric point for the length measure

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