pointOfFigure - Sigma Knowledge base Browser

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 17800-17801
(domain pointOfFigure 1 GeometricPoint)	Merge.kif 17798-17798	The number 1 argument of point of figure is an instance of geometric point
(domain pointOfFigure 2 GeometricFigure)	Merge.kif 17799-17799	The number 2 argument of point of figure is an instance of geometric figure
(instance pointOfFigure BinaryPredicate)	Merge.kif 17797-17797	point of figure is an instance of binary predicate
(subrelation pointOfFigure geometricPart)	Merge.kif 17796-17796	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 46368-46368
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖")	domainEnglishFormat.kif 46367-46367
(termFormat EnglishLanguage pointOfFigure "point of figure")	domainEnglishFormat.kif 46366-46366

antecedent

(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))

Mid-level-ontology.kif 4938-4943

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

consequent

(=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST)))))	Mid-level-ontology.kif 4962-4970	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 (instance ?O Object) (attribute ?O ConvexRoundShape) (surface ?TO ?O) (instance ?TO TwoDimensionalObject)) (forall (?P) (and (part ?P ?O) (attribute ?P GeometricPoint) (pointOfFigure ?P ?O) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO)))))	Mid-level-ontology.kif 4791-4805	If a self connected object is an instance of object and convex round shape is an attribute of the self connected object and another self connected object is a surface of the self connected object and the other self connected object is an instance of two dimensional object, then for all a geometric point the geometric point is a part of the self connected object and geometric point is an attribute of the geometric point and the geometric point is a vertex of the self connected object and the geometric point meets the self connected object and the geometric point meets the other self connected object and there exists an one dimensional figure such that a tangent of the other self connected object is the one dimensional figure
(=> (and (sphereRadius ?OBJECT ?RADIUS) (attribute ?OBJECT Sphere)) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?OBJECT) (geometricDistance ?PART ?POINT ?RADIUS)))))	Mid-level-ontology.kif 13421-13429	If the radius of an object is a length measure and sphere is an attribute of the object, then there exists a geometric point 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
(=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2)))	Merge.kif 17817-17821	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 7651-7657	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
(=> (tangent ?LINE ?CIRCLE) (exists (?POINT1) (and (pointOfFigure ?POINT1 ?LINE) (pointOfFigure ?POINT1 ?CIRCLE) (forall (?POINT2) (=> (and (pointOfFigure ?POINT2 ?LINE) (pointOfFigure ?POINT2 ?CIRCLE)) (equal ?POINT1 ?POINT2))))))	Mid-level-ontology.kif 4756-4767	If a tangent of a two dimensional object is an one dimensional figure, then there exists a geometric point such that the geometric point is a vertex of the one dimensional figure and the geometric point is a vertex of the two dimensional object and for all another geometric point if the other geometric point is a vertex of the one dimensional figure and the other geometric point is a vertex of the two dimensional object, then the geometric point is equal to the other geometric point

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

KB Term:			Term intersection

English Word: