| appearance as argument number 1 |
|
| (documentation CircularArc EnglishLanguage "A CircularArc is the arc of a circle between a pair of distinct points on a Circle.[Wikipedia]") | Mid-level-ontology.kif 5660-5661 | |
| (instance CircularArc OneDimensionalFigure) | Mid-level-ontology.kif 5659-5659 |
| appearance as argument number 2 |
|
|
| (subAttribute MajorArc CircularArc) | Mid-level-ontology.kif 5812-5812 | |
| (subAttribute MinorArc CircularArc) | Mid-level-ontology.kif 5795-5795 | |
| (subAttribute SemicircularArc CircularArc) | Mid-level-ontology.kif 5715-5715 | |
| (termFormat EnglishLanguage CircularArc "circular arc") | Mid-level-ontology.kif 5662-5662 |
| appearance as argument number 3 |
|
|
| (domain arcLength 1 CircularArc) | Mid-level-ontology.kif 5694-5694 |
| antecedent |
|
|
| (=> (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 5703-5713 | |
| (=> (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 5677-5686 | |
| (=> (and (equal ?S CircularSegment) (equal ?A CircularArc) (geometricPart ?A ?S) (equal ?C ChordOfACircle) (geometricPart ?C ?S)) (exists (?P1 ?P2) (and (not (equal ?P1 ?P2)) (endPointsOfLine ?P1 ?P2 ?C) (pointOfIntersection ?A ?C ?P1) (pointOfIntersection ?A ?C ?P2)))) |
Mid-level-ontology.kif 5908-5921 | |
| (=> (equal ?A CircularArc) (exists (?C) (and (equal ?C Circle) (geometricPart ?A ?C)))) |
Mid-level-ontology.kif 5668-5673 |
| consequent |
|
|
| (=> (and (equal ?S CircleSector) (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (sideOfIntersection ?A ?S ?L) (lineMeasure ?L ?R)) (exists (?AC) (and (equal ?AC CircularArc) (sideOfFigure ?AC ?S) (arcLength ?AC ?R) (angularMeasure ?A (MeasureFn 1 Radian))))) |
Mid-level-ontology.kif 5772-5786 | |
| (=> (equal ?S CircleSector) (exists (?A ?AC) (and (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?AC CircularArc) (sideOfFigure ?AC ?S)))) |
Mid-level-ontology.kif 5636-5643 | |
| (=> (equal ?S CircleSector) (exists (?C ?A) (and (equal ?C Circle) (geometricPart ?S ?C) (equal ?A CircularArc) (geometricPart ?A ?C) (sideOfFigure ?A ?S) (sideOfIntersection ?S ?C ?A)))) |
Mid-level-ontology.kif 5625-5634 |
|
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