| 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 17567-17568 | |
| (domain pointOfFigure 1 GeometricPoint) | Merge.kif 17565-17565 | 图形的顶点 的 1 数量 是 几何点 的 instance |
| (domain pointOfFigure 2 GeometricFigure) | Merge.kif 17566-17566 | 图形的顶点 的 2 数量 是 几何图 的 instance |
| (instance pointOfFigure BinaryPredicate) | Merge.kif 17564-17564 | 图形的顶点 是 二元谓语 的 instance |
| (subrelation pointOfFigure geometricPart) | Merge.kif 17563-17563 | 图形的顶点 是 几何部分 的 subrelation |
| 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 JapaneseLanguage pointOfFigure "%1 の vertex は %2 では %n") | english_format.kif 800-800 | |
| (termFormat ChineseLanguage pointOfFigure "图形的顶点") | chinese_format.kif 795-795 | |
| (termFormat ChineseLanguage pointOfFigure "点图") | domainEnglishFormat.kif 46339-46339 | |
| (termFormat ChineseTraditionalLanguage pointOfFigure "點圖") | domainEnglishFormat.kif 46338-46338 | |
| (termFormat EnglishLanguage pointOfFigure "point of figure") | domainEnglishFormat.kif 46337-46337 |
| antecedent |
|
|
| (=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 4688-4693 |
| consequent |
|
|
| (=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST))))) |
Mid-level-ontology.kif 4712-4720 | |
| (=> (and (sphereRadius ?OBJECT ?RADIUS) (attribute ?OBJECT Sphere)) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?OBJECT) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Mid-level-ontology.kif 12915-12923 | |
| (=> (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 4551-4560 | |
| (=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2))) |
Merge.kif 17584-17588 | |
| (=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7555-7561 | |
| (=> (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 4518-4529 |
|
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