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 "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 7639-7641
(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 7637-7637 Circle e' um sub-atributo de Oval

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


(subAttribute DiskShaped Circle) Mid-level-ontology.kif 25641-25641 DiskShaped e' um sub-atributo de Circle
(termFormat ChineseLanguage Circle "圈") domainEnglishFormat.kif 14862-14862
(termFormat ChineseTraditionalLanguage Circle "圈") domainEnglishFormat.kif 14861-14861
(termFormat EnglishLanguage Circle "circle") domainEnglishFormat.kif 14860-14860

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI Circle))
    (diameter ?CI ?M))
Cars.kif 1541-1549
(=>
    (and
        (instance ?C Object)
        (shape ?C Circle))
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))
Merge.kif 7650-7655
(=>
    (and
        (instance ?C Object)
        (shape ?C Circle))
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7643-7648

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


(=>
    (circumfrence ?C ?L)
    (shape ?C Circle))
Mid-level-ontology.kif 31177-31179
(=>
    (diameter ?CIRCLE ?LENGTH)
    (shape ?CIRCLE Circle))
Merge.kif 7708-7710
(=>
    (equal ?L
        (DiameterFn ?C))
    (shape ?C Circle))
Mid-level-ontology.kif 4943-4946
(=>
    (equal ?L
        (RadiusFn ?C))
    (shape ?C Circle))
Mid-level-ontology.kif 4962-4965
(=>
    (equal ?P
        (CenterOfCircleFn ?C))
    (shape ?C Circle))
Merge.kif 7665-7668
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C Circle)
            (diameter ?C
                (MeasureFn 4.25 Inch)))))
Sports.kif 964-973
(=>
    (radius ?CIRCLE ?RADIUS)
    (shape ?CIRCLE Circle))
Merge.kif 7687-7689


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