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 7606-7608
(documentation Circle JapaneseLanguage "Oval のクラスは、 Circle を構成するすべてのGPが、 Circle の中心として知られている単一の GeometricPoint から等距離である。") japanese_format.kif 1364-1365
(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 7604-7604 Circle est une sous-classe de Oval

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


(termFormat ChineseLanguage Circle "圈") domainEnglishFormat.kif 14867-14867
(termFormat ChineseTraditionalLanguage Circle "圈") domainEnglishFormat.kif 14866-14866
(termFormat EnglishLanguage Circle "circle") domainEnglishFormat.kif 14865-14865

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


(domain CenterOfCircleFn 1 Circle) Merge.kif 7625-7625 Le nombre 1 argument de CenterOfCircleFn est une instance de Circle
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 4916-4916 Le nombre 1 argument de DiameterFn est une instance de Circle
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 4930-4930 Le nombre 1 argument de RadiusFn est une instance de Circle
(domain circumfrence 1 Circle) Mid-level-ontology.kif 31237-31237 Le nombre 1 argument de circumfrence est une instance de Circle
(domain diameter 1 Circle) Merge.kif 7649-7649 Le nombre 1 argument de diameter est une instance de Circle
(domain radius 1 Circle) Merge.kif 7631-7631 Le nombre 1 argument de radius est une instance de Circle

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 7615-7618
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7610-7613
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 25700-25702

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 963-971


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