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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Circle
Circle(circle)
arc, circle, circlet, disc, disk, limb, saucer, spiral

appearance as argument number 1
-------------------------


s__documentation(s__Circle,s__ChineseLanguage,'"这是 Oval 的类别,以至构成 Circle 的 所有 GeometricPoint 和单一的 GeometricPoint,称为 Circle 的中心是等距的。"')

chinese_format.kif 2647-2648
s__documentation(s__Circle,s__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 7406-7408
s__externalImage(s__Circle,'"http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg"')

pictureList.kif 67-67
s__externalImage(s__Circle,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ shapes/ circle.png"')

pictureList.kif 346-346
s__subclass(s__Circle,s__Oval)

s__instance(s__Oval,s__Class)

s__instance(s__Circle,s__Class)

Merge.kif 7404-7404 Circle is a subclass of oval

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


s__termFormat(s__ChineseLanguage,s__Circle,'"圈"')

domainEnglishFormat.kif 14865-14865
s__termFormat(s__ChineseTraditionalLanguage,s__Circle,'"圈"')

domainEnglishFormat.kif 14864-14864
s__termFormat(s__EnglishLanguage,s__Circle,'"circle"')

domainEnglishFormat.kif 14863-14863

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


s__domain(s__CenterOfCircleFn__m,n__1,s__Circle)

Merge.kif 7425-7425 The number 1 argument of center of circle is an instance of circle
s__domain(s__DiameterFn__m,n__1,s__Circle)

Mid-level-ontology.kif 4648-4648 The number 1 argument of diameter is an instance of circle
s__domain(s__RadiusFn__m,n__1,s__Circle)

Mid-level-ontology.kif 4662-4662 The number 1 argument of radius is an instance of circle
s__domain(s__circumfrence__m,n__1,s__Circle)

Mid-level-ontology.kif 30362-30362 The number 1 argument of circumfrence is an instance of circle
s__domain(s__diameter__m,n__1,s__Circle)

Merge.kif 7449-7449 The number 1 argument of diameter is an instance of circle
s__domain(s__radius__m,n__1,s__Circle)

Merge.kif 7431-7431 The number 1 argument of radius is an instance of circle

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


( ! [V__CY,V__CI,V__M] :
   ((s__instance(V__M,s__LengthMeasure) =>
       (((s__cylinderBore(V__CY,V__M)
           &
           s__instance(V__CY,s__Cylinder) &
           s__instance(V__CI,s__Circle) &
           s__part(V__CI,V__CY))
       =>
       (s__diameter(V__CI,V__M)))))
)
)

Cars.kif 1538-1544
( ! [V__C] :
   ((s__instance(V__C,s__Circle) =>
       (( ? [V__P] :
           ((s__instance(V__P,s__GeometricPoint) &
               (s__CenterOfCircleFn(V__C)
               = V__P))))))
   )
)

Merge.kif 7415-7418
( ! [V__C] :
   ((s__instance(V__C,s__Circle) =>
       (( ? [V__R] :
           ((s__instance(V__R,s__LengthMeasure) &
               s__radius(V__C,V__R))))))
   )
)

Merge.kif 7410-7413
( ! [V__SHAPE] :
   ((s__instance(V__SHAPE,s__Circle) =>
       (s__shape(V__SHAPE,s__Circular)))
     )
   )

Mid-level-ontology.kif 24824-24826

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


( ! [V__HOLE] :
   ((s__instance(V__HOLE,s__GolfHole) =>
       (( ? [V__CYLINDER, V__CIRCLE] :
           ((s__instance(V__CYLINDER,s__Cylinder) &
               s__attribute(V__HOLE,V__CYLINDER)
             &
             s__top(V__CIRCLE,V__HOLE)
           &
           s__instance(V__CIRCLE,s__Circle) &
           s__diameter(V__CIRCLE,s__MeasureFn(n__4_25,s__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