| Circle
| |
| appearance as argument number 1 |
|
|
| (documentation Circle ChineseLanguage "这是 Oval 的类别，以至构成 Circle 的 所有 GeometricPoint 和单一的 GeometricPoint，称为 Circle 的中心是等距的。") | chinese_format.kif 2647-2648 | |
| (documentation Circle EnglishLanguage "A subAttribute of Oval such that all GeometricPoints that make up the Circle are equidistant from a single GeometricPoint, known as the center of the Circle.") | Merge.kif 7674-7676 | |
| (documentation Circle JapaneseLanguage "Oval のクラスは、 Circle を構成するすべてのGPが、 Circle の中心として知られている単一の GeometricPoint から等距離である。") | japanese_format.kif 1364-1365 | |
| (externalImage Circle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ circle.png") | pictureList.kif 346-346 | |
| (externalImage Circle "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg") | pictureList.kif 67-67 | |
| (subAttribute Circle Oval) | Merge.kif 7672-7672 |
| appearance as argument number 2 |
|
|
| (subAttribute DiskShaped Circle) | Mid-level-ontology.kif 27265-27265 | |
| (termFormat ChineseLanguage Circle "圈") | domainEnglishFormat.kif 14877-14877 | |
| (termFormat ChineseTraditionalLanguage Circle "圈") | domainEnglishFormat.kif 14876-14876 | |
| (termFormat EnglishLanguage Circle "circle") | domainEnglishFormat.kif 14875-14875 |
| appearance as argument number 3 |
|
|
| (domain CenterOfCircleFn 1 Circle) | Merge.kif 7693-7693 | |
| (domain DiameterFn 1 Circle) | Mid-level-ontology.kif 5586-5586 | |
| (domain RadiusFn 1 Circle) | Mid-level-ontology.kif 5605-5605 | |
| (domain circumference 1 Circle) | Mid-level-ontology.kif 32833-32833 | |
| (domain diameter 1 Circle) | Merge.kif 7726-7726 | |
| (domain radius 1 Circle) | Merge.kif 7704-7704 |
| antecedent |
|
|
| (=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M)) |
Cars.kif 1541-1550 | |
| (=> (and (equal ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine)) |
Mid-level-ontology.kif 5865-5871 | |
| (=> (and (equal ?S CircleSector) (equal ?C Circle) (geometricPart ?S ?C) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?S)) (lineMeasure ?L (RadiusFn ?C))) |
Mid-level-ontology.kif 5645-5652 | |
| (=> (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 5886-5900 | |
| (=> (and (instance ?A CentralAngle) (angleOfFigure ?A ?C) (equal ?C Circle)) (angularMeasure ?A (MeasureFn 360 AngularDegree))) |
Mid-level-ontology.kif 5788-5793 | |
| (=> (equal ?C Circle) (exists (?P) (equal (CenterOfCircleFn ?C) ?P))) |
Merge.kif 7683-7686 | |
| (=> (equal ?C Circle) (exists (?R) (radius ?C ?R))) |
Merge.kif 7678-7681 |
| consequent |
|
|
| (=> (and (arcLength ?SEMI (MeasureFn ?L ?U)) (equal ?SEMI SemicircularArc)) (exists (?CIR ?C) (and (equal ?CIR Circle) (geometricPart ?SEMI ?CIR) (circumference ?CIR (MeasureFn ?C ?U)) (equal ?C (AdditionFn ?L ?L))))) |
Mid-level-ontology.kif 5719-5729 | |
| (=> (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 ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD)) (exists (?C) (and (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C)))) |
Mid-level-ontology.kif 5850-5858 | |
| (=> (circumference ?C ?L) (equal ?C Circle)) |
Mid-level-ontology.kif 32849-32851 | |
| (=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle)) |
Merge.kif 7739-7741 | |
| (=> (equal ?A CircularArc) (exists (?C) (and (equal ?C Circle) (geometricPart ?A ?C)))) |
Mid-level-ontology.kif 5668-5673 | |
| (=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C))))) |
Mid-level-ontology.kif 5873-5879 | |
| (=> (equal ?L (DiameterFn ?C)) (equal ?C Circle)) |
Mid-level-ontology.kif 5596-5599 | |
| (=> (equal ?L (RadiusFn ?C)) (equal ?C Circle)) |
Mid-level-ontology.kif 5615-5618 | |
| (=> (equal ?P (CenterOfCircleFn ?C)) (equal ?C Circle)) |
Merge.kif 7696-7699 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch))))) |
Sports.kif 976-986 | |
| (=> (radius ?CIRCLE ?RADIUS) (equal ?CIRCLE Circle)) |
Merge.kif 7718-7720 |
|
|
|