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 16654-16655
(domain pointOfFigure 1 GeometricPoint)	Merge.kif 16652-16652	The number 1 argument of point of figure is an instance of geometric point
(domain pointOfFigure 2 GeometricFigure)	Merge.kif 16653-16653	The number 2 argument of point of figure is an instance of geometric figure
(instance pointOfFigure BinaryPredicate)	Merge.kif 16651-16651	point of figure is an instance of binary predicate
(subrelation pointOfFigure geometricPart)	Merge.kif 16650-16650	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 802-802
(format EnglishLanguage pointOfFigure "%1 の vertex は %2 では %n")	english_format.kif 803-803
(termFormat ChineseLanguage pointOfFigure "图形的顶点")	chinese_format.kif 795-795
(termFormat ChineseLanguage pointOfFigure "点图")	domainEnglishFormat.kif 46351-46351
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖")	domainEnglishFormat.kif 46350-46350
(termFormat EnglishLanguage pointOfFigure "point of figure")	domainEnglishFormat.kif 46349-46349

antecedent

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

Mid-level-ontology.kif 5269-5274

If the center of circle of a circle is equal to a geometric point and the geometric point2 の vertex は the circle では %n 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 5293-5301	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 の vertex は the object では %n, then the other geometric point is geometric distance the geometric point for the length measure
(=> (and (sphereRadius ?OBJECT ?RADIUS) (attribute ?OBJECT Sphere)) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?OBJECT) (geometricDistance ?PART ?POINT ?RADIUS)))))	Mid-level-ontology.kif 11085-11093	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 の vertex は the object では %n, then the other geometric point is geometric distance the geometric point for the length measure
(=> (attribute ?O RoundShape) (forall (?P) (and (pointOfFigure ?P ?O) (instance ?TO TwoDimensionalObject) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO)))))	Mid-level-ontology.kif 5139-5148	If round shape is an attribute of an object, then for all a geometric point the geometric point の vertex は the object では %n and a two dimensional object is an instance of two dimensional object and the geometric point meets the object and the geometric point meets the two dimensional object and there exists an one dimensional figure such that the two dimensional object の tangent は the one dimensional figure では %n
(=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2)))	Merge.kif 16671-16675	If an one dimensional figure is point of intersection another one dimensional figure for a geometric point, then the geometric point の vertex は the one dimensional figure では %n and the geometric point の vertex は the other one dimensional figure では %n
(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7276-7282	If a circle の radius は a length measure では %n, then there exists a geometric point such that for all another geometric point if the other geometric point の vertex は the circle では %n, 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 5105-5116	If a two dimensional object の tangent は an one dimensional figure では %n, then there exists a geometric point such that the geometric point の vertex は the one dimensional figure では %n and the geometric point の vertex は the two dimensional object では %n and for all another geometric point if the other geometric point の vertex は the one dimensional figure では %n and the other geometric point の vertex は the two dimensional object では %n, 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: