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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Circle
Circle(circle)
arc, circle, circlet, disc, disk, limb, saucer, spiral,

appearance as argument number 1
-------------------------


(documentation Circle ChineseLanguage "这是 Oval 的类别,以至构成 Circle 的 所有 GeometricPoint 和单一的 GeometricPoint,称为 Circle 的中心是等距的。") chinese_format.kif 2647-2648
(documentation Circle EnglishLanguage "The class of Ovals such that all GeometricPoints that make up the Circle are equidistant from a single GeometricPoint, known as the center of the Circle.") Merge.kif 7065-7067
(externalImage Circle "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg") pictureList.kif 67-67 "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg" is a URL depicting circle
(externalImage Circle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ shapes/ circle.png") pictureList.kif 346-346 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ signs_symbol/ shapes/ circle.png" is a URL depicting circle
(subclass Circle Oval) Merge.kif 7063-7063 Circle is a subclass of oval

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


(termFormat ChineseLanguage Circle "圈") domainEnglishFormat.kif 14803-14803 "圈" is the printable form of circle in ChineseLanguage
(termFormat ChineseTraditionalLanguage Circle "圈") domainEnglishFormat.kif 14802-14802 "圈" is the printable form of circle in ChineseTraditionalLanguage
(termFormat EnglishLanguage Circle "circle") domainEnglishFormat.kif 14801-14801 "circle" is the printable form of circle in english language

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


(domain CenterOfCircleFn 1 Circle) Merge.kif 7084-7084 The number 1 argument of center of circle is an instance of circle
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 5249-5249 The number 1 argument of diameter is an instance of circle
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 5263-5263 The number 1 argument of radius is an instance of circle
(domain diameter 1 Circle) Merge.kif 7108-7108 The number 1 argument of diameter is an instance of circle
(domain radius 1 Circle) Merge.kif 7090-7090 The number 1 argument of radius is an instance of circle

antecedent
-------------------------


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))
Cars.kif 1533-1539
(=>
    (instance ?C Circle)
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))
Merge.kif 7074-7077
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7069-7072
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 23423-23425

consequent
-------------------------


(=>
    (instance ?HOLE GolfHole)
    (exists (?CYLINDER ?CIRCLE)
        (and
            (instance ?CYLINDER Cylinder)
            (attribute ?HOLE ?CYLINDER)
            (top ?CIRCLE ?HOLE)
            (instance ?CIRCLE Circle)
            (diameter ?CIRCLE
                (MeasureFn 4.25 Inch)))))
Sports.kif 815-823


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners