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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Circle

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 7620-7622
(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
(subclass Circle Oval) Merge.kif 7618-7618 CircleOvalsubclass では %n

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


(termFormat ChineseLanguage Circle "圈") domainEnglishFormat.kif 14862-14862
(termFormat ChineseTraditionalLanguage Circle "圈") domainEnglishFormat.kif 14861-14861
(termFormat EnglishLanguage Circle "circle") domainEnglishFormat.kif 14860-14860

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


(domain CenterOfCircleFn 1 Circle) Merge.kif 7639-7639 CenterOfCircleFn の数値 1 引数は Circleinstance では %n
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 4949-4949 DiameterFn の数値 1 引数は Circleinstance では %n
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 4963-4963 RadiusFn の数値 1 引数は Circleinstance では %n
(domain circumfrence 1 Circle) Mid-level-ontology.kif 31132-31132 circumfrence の数値 1 引数は Circleinstance では %n
(domain diameter 1 Circle) Merge.kif 7663-7663 diameter の数値 1 引数は Circleinstance では %n
(domain radius 1 Circle) Merge.kif 7645-7645 radius の数値 1 引数は Circleinstance では %n

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))
Cars.kif 1538-1544
(=>
    (instance ?C Circle)
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))
Merge.kif 7629-7632
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7624-7627
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 25602-25604

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 964-972


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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