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 7530-7532
(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 7528-7528 椭圆subclass

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


(termFormat ChineseLanguage Circle "圈") domainEnglishFormat.kif 14865-14865
(termFormat ChineseTraditionalLanguage Circle "圈") domainEnglishFormat.kif 14864-14864
(termFormat EnglishLanguage Circle "circle") domainEnglishFormat.kif 14863-14863

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


(domain CenterOfCircleFn 1 Circle) Merge.kif 7549-7549 圆心 的 1 数量 是 instance
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 4675-4675 直径 的 1 数量 是 instance
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 4689-4689 半径 的 1 数量 是 instance
(domain circumfrence 1 Circle) Mid-level-ontology.kif 30532-30532 circumfrence 的 1 数量 是 instance
(domain diameter 1 Circle) Merge.kif 7573-7573 圆周 的 1 数量 是 instance
(domain radius 1 Circle) Merge.kif 7555-7555 半径 的 1 数量 是 instance

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 7539-7542
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7534-7537
(=>
    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 24993-24995

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 891-899


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