Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Circle
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 7689-7691
(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 7687-7687 Circle est un sous-attribut de Oval

appearance as argument number 2
-------------------------


(subAttribute DiskShaped Circle) Mid-level-ontology.kif 27234-27234 DiskShaped est un sous-attribut de Circle
(termFormat ChineseLanguage Circle "圈") domainEnglishFormat.kif 14870-14870 DiskShaped est un sous-attribut de Circle
(termFormat ChineseTraditionalLanguage Circle "圈") domainEnglishFormat.kif 14869-14869 DiskShaped est un sous-attribut de Circle
(termFormat EnglishLanguage Circle "circle") domainEnglishFormat.kif 14868-14868 DiskShaped est un sous-attribut de Circle

appearance as argument number 3
-------------------------


(domain CenterOfCircleFn 1 Circle) Merge.kif 7708-7708 Le nombre 1 argument de CenterOfCircleFn est une instance de Circle
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 5561-5561 Le nombre 1 argument de DiameterFn est une instance de Circle
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 5580-5580 Le nombre 1 argument de RadiusFn est une instance de Circle
(domain circumference 1 Circle) Mid-level-ontology.kif 33057-33057 Le nombre 1 argument de circumference est une instance de Circle
(domain diameter 1 Circle) Merge.kif 7741-7741 Le nombre 1 argument de diameter est une instance de Circle
(domain radius 1 Circle) Merge.kif 7719-7719 Le nombre 1 argument de radius est une instance de Circle

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 5840-5846
(=>
    (and
        (equal ?S CircleSector)
        (equal ?C Circle)
        (geometricPart ?S ?C)
        (equal ?L ClosedLineSegment)
        (sideOfFigure ?L ?S))
    (lineMeasure ?L
        (RadiusFn ?C)))		 Mid-level-ontology.kif 5620-5627
(=>
    (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 5861-5875
(=>
    (and
        (instance ?A CentralAngle)
        (angleOfFigure ?A ?C)
        (equal ?C Circle))
    (angularMeasure ?A
        (MeasureFn 360 AngularDegree)))		 Mid-level-ontology.kif 5763-5768
(=>
    (equal ?C Circle)
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))		 Merge.kif 7698-7701
(=>
    (equal ?C Circle)
    (exists (?R)
        (radius ?C ?R)))		 Merge.kif 7693-7696

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 5694-5704
(=>
    (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 5652-5661
(=>
    (and
        (equal ?CHORD ChordOfACircle)
        (endPointsOfLine ?P1 ?P2 ?CHORD))
    (exists (?C)
        (and
            (equal ?C Circle)
            (pointOfFigure ?P1 ?C)
            (pointOfFigure ?P2 ?C))))		 Mid-level-ontology.kif 5825-5833
(=>
    (circumference ?C ?L)
    (equal ?C Circle))		 Mid-level-ontology.kif 33073-33075
(=>
    (diameter ?CIRCLE ?LENGTH)
    (equal ?CIRCLE Circle))		 Merge.kif 7754-7756
(=>
    (equal ?A CircularArc)
    (exists (?C)
        (and
            (equal ?C Circle)
            (geometricPart ?A ?C))))		 Mid-level-ontology.kif 5643-5648
(=>
    (equal ?D DiameterLine)
    (exists (?C)
        (and
            (equal ?C Circle)
            (lineMeasure ?D
                (DiameterFn ?C)))))		 Mid-level-ontology.kif 5848-5854
(=>
    (equal ?L
        (DiameterFn ?C))
    (equal ?C Circle))		 Mid-level-ontology.kif 5571-5574
(=>
    (equal ?L
        (RadiusFn ?C))
    (equal ?C Circle))		 Mid-level-ontology.kif 5590-5593
(=>
    (equal ?P
        (CenterOfCircleFn ?C))
    (equal ?C Circle))		 Merge.kif 7711-7714
(=>
    (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 5600-5609
(=>
    (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 5731-5745
(=>
    (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 7733-7735


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