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 17723-17724
(domain pointOfFigure 1 GeometricPoint)	Merge.kif 17721-17721	pointOfFigure の数値 1 引数は GeometricPoint の instance では %n
(domain pointOfFigure 2 GeometricFigure)	Merge.kif 17722-17722	pointOfFigure の数値 2 引数は GeometricFigure の instance では %n
(instance pointOfFigure BinaryPredicate)	Merge.kif 17720-17720	pointOfFigure は 2進述語の instance では %n
(subrelation pointOfFigure geometricPart)	Merge.kif 17719-17719	pointOfFigure は geometricPart の subrelation では %n

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

CenterOfCircleFn Circle は GeometricPoint と equal では %n GeometricPoint2 の vertex は Circle では %n geometricDistance GeometricPoint2, GeometricPoint and 長さ測定
RadiusFn Circle は長さ測定と equal では %n

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	属性はオブジェクトの attribute では %n 属性は Sphere の instance では %n GeometricPoint 長さ測定 GeometricPoint GeometricPoint の vertex はオブジェクトでは %n geometricDistance GeometricPoint, GeometricPoint and 長さ測定
(=> (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	自己接続オブジェクトはオブジェクトの instance では %n ConvexRoundShape は自己接続オブジェクトの attribute では %n 自己接続オブジェクトは自己接続オブジェクトの surface では %n 自己接続オブジェクトは TwoDimensionalObject の instance では %n GeometricPoint GeometricPoint は自己接続オブジェクトの part では %n GeometricPoint は GeometricPoint の attribute では %n GeometricPoint の vertex は自己接続オブジェクトでは %n GeometricPoint は自己接続オブジェクトと meets %n{ない} GeometricPoint は自己接続オブジェクトと meets %n{ない} OneDimensionalFigure 自己接続オブジェクトの tangent は OneDimensionalFigure では %n
(=> (and (sphereRadius ?OBJECT ?RADIUS) (attribute ?OBJECT Sphere)) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?OBJECT) (geometricDistance ?PART ?POINT ?RADIUS)))))	Mid-level-ontology.kif 13385-13393	sphereRadius オブジェクト and 長さ測定 Sphere はオブジェクトの attribute では %n GeometricPoint GeometricPoint GeometricPoint の vertex はオブジェクトでは %n geometricDistance GeometricPoint, GeometricPoint and 長さ測定
(=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2)))	Merge.kif 17740-17744	pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint の vertex は OneDimensionalFigure では %n GeometricPoint の vertex は OneDimensionalFigure では %n
(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7637-7643	Circle の radius は長さ測定では %n GeometricPoint GeometricPoint GeometricPoint の vertex は Circle では %n geometricDistance GeometricPoint, GeometricPoint and 長さ測定
(=> (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	TwoDimensionalObject の tangent は OneDimensionalFigure では %n GeometricPoint GeometricPoint の vertex は OneDimensionalFigure では %n GeometricPoint の vertex は TwoDimensionalObject では %n GeometricPoint GeometricPoint の vertex は OneDimensionalFigure では %n GeometricPoint の vertex は TwoDimensionalObject では %n GeometricPoint は GeometricPoint と equal では %n

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: