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 "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 7220-7222
(externalImage Circle "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg") pictureList.kif 67-67
(externalImage Circle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ shapes/ circle.png") pictureList.kif 346-346
(subclass Circle Oval) Merge.kif 7218-7218 subclass Circle and Oval

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


(termFormat ChineseLanguage Circle "圈") domainEnglishFormat.kif 14797-14797
(termFormat ChineseTraditionalLanguage Circle "圈") domainEnglishFormat.kif 14796-14796
(termFormat EnglishLanguage Circle "circle") domainEnglishFormat.kif 14795-14795

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


(domain CenterOfCircleFn 1 Circle) Merge.kif 7239-7239 domain CenterOfCircleFn, 1 and Circle
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 5252-5252 domain DiameterFn, 1 and Circle
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 5266-5266 domain RadiusFn, 1 and Circle
(domain diameter 1 Circle) Merge.kif 7263-7263 domain diameter, 1 and Circle
(domain radius 1 Circle) Merge.kif 7245-7245 domain radius, 1 and Circle

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))
Cars.kif 1534-1540
(=>
    (instance ?C Circle)
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))
Merge.kif 7229-7232
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7224-7227
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 23556-23558

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 3.0 is open source software produced by Articulate Software and its partners