| 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 16657-16658 | |
| (domain pointOfFigure 1 GeometricPoint) | Merge.kif 16655-16655 | |
| (domain pointOfFigure 2 GeometricFigure) | Merge.kif 16656-16656 | |
| (instance pointOfFigure BinaryPredicate) | Merge.kif 16654-16654 | |
| (subrelation pointOfFigure geometricPart) | Merge.kif 16653-16653 |
| 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 |
| 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 | |
| (=> (and (sphereRadius ?OBJECT ?RADIUS) (attribute ?OBJECT Sphere)) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?OBJECT) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Mid-level-ontology.kif 11085-11093 | |
| (=> (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 | |
| (=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2))) |
Merge.kif 16674-16678 | |
| (=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7277-7283 | |
| (=> (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 |
|
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