| 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 17963-17964 | |
| (domain pointOfFigure 1 GeometricPoint) | Merge.kif 17961-17961 | |
| (domain pointOfFigure 2 GeometricFigure) | Merge.kif 17962-17962 | |
| (instance pointOfFigure BinaryPredicate) | Merge.kif 17960-17960 | |
| (subrelation pointOfFigure geometricPart) | Merge.kif 17959-17959 |
| 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 46387-46387 | |
| (termFormat ChineseTraditionalLanguage pointOfFigure "點圖") | domainEnglishFormat.kif 46386-46386 | |
| (termFormat EnglishLanguage pointOfFigure "point of figure") | domainEnglishFormat.kif 46385-46385 |
| antecedent |
|
|
| (=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 5615-5620 | |
| (=> (and (equal ?A CircularArc) (pointOfFigure ?P ?A)) (exists (?C ?P2) (and (geometricPart ?A ?C) (equal ?C Circle) (pointOfFigure ?P2 ?C) (equal ?P ?P2)))) |
Mid-level-ontology.kif 5684-5693 | |
| (=> (and (equal ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine)) |
Mid-level-ontology.kif 5872-5878 | |
| (=> (and (equal ?S SecantLine) (pointOfFigure ?P1 ?S) (pointOfFigure ?P2 ?S) (not (equal ?P1 ?P2)) (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C)) (exists (?CHORD) (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD) (geometricPart ?CHORD ?S)))) |
Mid-level-ontology.kif 5893-5907 |
| consequent |
|
|
| (=> (and (arcLength ?A ?L) (equal ?A CircularArc)) (exists (?P ?P2) (and (pointOfFigure ?P ?A) (pointOfFigure ?P2 ?A) (not (equal ?P ?P2)) (geometricDistance ?P ?P2 ?L)))) |
Mid-level-ontology.kif 5710-5720 | |
| (=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST))))) |
Mid-level-ontology.kif 5953-5961 | |
| (=> (and (equal ?A CircularArc) (pointOfFigure ?P ?A)) (exists (?C ?P2) (and (geometricPart ?A ?C) (equal ?C Circle) (pointOfFigure ?P2 ?C) (equal ?P ?P2)))) |
Mid-level-ontology.kif 5684-5693 | |
| (=> (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD)) (exists (?C) (and (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C)))) |
Mid-level-ontology.kif 5857-5865 | |
| (=> (and (tangent ?LINE ?CIRCLE) (sideOfFigure ?CURVE ?CIRCLE)) (exists (?POINT1) (and (pointOfFigure ?POINT1 ?LINE) (pointOfFigure ?POINT1 ?CURVE) (forall (?POINT2) (=> (and (pointOfFigure ?POINT2 ?LINE) (pointOfFigure ?POINT2 ?CURVE)) (equal ?POINT1 ?POINT2)))))) |
Mid-level-ontology.kif 5285-5298 | |
| (=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2))) |
Merge.kif 17980-17984 | |
| (=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7685-7691 |
|
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