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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diameter
diameter

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


s__documentation(s__diameter__m,s__ChineseLanguage,'"(diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。"')

chinese_format.kif 2653-2654
s__documentation(s__diameter__m,s__EnglishLanguage,'"(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH."')

Merge.kif 7452-7453
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__diameter__m,n__2,s__LengthMeasure)

Merge.kif 7450-7450 The number 2 argument of diameter is an instance of length measure
s__instance(s__diameter__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 7446-7446 diameter is an instance of binary predicate
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__diameter__m,s__SingleValuedRelation)

Merge.kif 7447-7447 diameter is an instance of single valued relation
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__diameter__m,s__TotalValuedRelation)

Merge.kif 7448-7448 diameter is an instance of total valued relation

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


s__format(s__ChineseLanguage,s__diameter__m,'"%1 的 diameter %n 是 %2"')

chinese_format.kif 617-617
s__format(s__EnglishLanguage,s__diameter__m,'"the diameter of %1 is %n %2"')

english_format.kif 620-620
s__termFormat(s__ChineseLanguage,s__diameter__m,'"圆周"')

chinese_format.kif 618-618
s__termFormat(s__ChineseLanguage,s__diameter__m,'"直径"')

domainEnglishFormat.kif 19419-19419
s__termFormat(s__ChineseTraditionalLanguage,s__diameter__m,'"直徑"')

domainEnglishFormat.kif 19418-19418
s__termFormat(s__EnglishLanguage,s__diameter__m,'"diameter"')

domainEnglishFormat.kif 19417-19417

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


( ! [V__CIRCLE,V__LENGTH] :
   (((s__instance(V__CIRCLE,s__Circle) &
         s__instance(V__LENGTH,s__LengthMeasure))
       =>
       ((s__diameter(V__CIRCLE,V__LENGTH)
         =>
         (( ? [V__NHALF, V__UHALF] :
             ((s__instance(V__NHALF,s__RealNumber) &
                 s__instance(V__UHALF,s__UnitOfMeasure) &
                 (s__radius(V__CIRCLE,s__MeasureFn(V__NHALF,V__UHALF))
               &
               (s__MeasureFn(s__MultiplicationFn(V__NHALF,n__2)
              ,V__UHALF)
             = V__LENGTH)))))))))
)
)

Merge.kif 7455-7460

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


( ! [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__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__diameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30387-30392
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((s__memberMeasure(V__S,s__Diameter,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__diameter(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30394-30399
( ! [V__CIRCLE,V__LENGTH] :
   (((s__instance(V__CIRCLE,s__Circle) &
         s__instance(V__LENGTH,s__LengthMeasure))
       =>
       ((s__circumfrence(V__CIRCLE,V__LENGTH)
         =>
         (( ? [V__D, V__UNIT] :
             ((s__instance(V__D,s__RealNumber) &
                 s__instance(V__UNIT,s__UnitOfMeasure) &
                 (s__diameter(V__CIRCLE,s__MeasureFn(V__D,V__UNIT))
               &
               (s__MeasureFn(s__MultiplicationFn(V__D,n__3_14)
              ,V__UNIT)
             = V__LENGTH)))))))))
)
)

Mid-level-ontology.kif 30368-30376
( ! [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