| appearance as argument number 1 |
|
| (documentation CenterOfCircleFn ChineseLanguage "(CenterOfCircleFn ?CIRCLE) 表示 Circle ?CIRCLE 的中心的 GeometricPoint。") | chinese_format.kif 2649-2650 | |
| (documentation CenterOfCircleFn EnglishLanguage "(CenterOfCircleFn ?CIRCLE) denotes the GeometricPoint that is the center of the Circle ?CIRCLE.") | Merge.kif 7688-7689 | |
| (documentation CenterOfCircleFn JapaneseLanguage "(CenterOfCircleFn ?CIRCLE)は、Circle ?CIRCLEの中心である GeometricPoint を示す。") | japanese_format.kif 1366-1367 | |
| (domain CenterOfCircleFn 1 Circle) | Merge.kif 7693-7693 | |
| (instance CenterOfCircleFn TotalValuedRelation) | Merge.kif 7692-7692 | |
| (instance CenterOfCircleFn UnaryFunction) | Merge.kif 7691-7691 | |
| (range CenterOfCircleFn GeometricPoint) | Merge.kif 7694-7694 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage CenterOfCircleFn "圆 %1 的 center ") | domainEnglishFormat.kif 404-404 | |
| (format ChineseTraditionalLanguage CenterOfCircleFn "圓 %1 的 center ") | domainEnglishFormat.kif 403-403 | |
| (format EnglishLanguage CenterOfCircleFn "the center of circle of %1") | domainEnglishFormat.kif 402-402 | |
| (relatedInternalConcept CentralAngle CenterOfCircleFn) | Mid-level-ontology.kif 5738-5738 | |
| (termFormat ChineseLanguage CenterOfCircleFn "圆心") | domainEnglishFormat.kif 13773-13773 | |
| (termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心") | domainEnglishFormat.kif 13772-13772 | |
| (termFormat EnglishLanguage CenterOfCircleFn "center of circle") | domainEnglishFormat.kif 13771-13771 |
| antecedent |
|
|
| (=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 5608-5613 | |
| (=> (and (equal ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine)) |
Mid-level-ontology.kif 5865-5871 | |
| (=> (equal ?P (CenterOfCircleFn ?C)) (equal ?C Circle)) |
Merge.kif 7696-7699 |
| consequent |
|
|
| (=> (equal ?C Circle) (exists (?P) (equal (CenterOfCircleFn ?C) ?P))) |
Merge.kif 7683-7686 | |
| (=> (instance ?A CentralAngle) (exists (?L ?L2 ?C ?R) (and (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (equal ?L2 ClosedLineSegment) (sideOfFigure ?L2 ?A) (equal ?C Circle) (geometricPart ?A ?C) (pointOfIntersection ?L ?L2 (CenterOfCircleFn ?C)) (lineMeasure ?L ?R) (lineMeasure ?L2 ?R) (radius ?C ?R)))) |
Mid-level-ontology.kif 5756-5770 |
|
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