sphereRadius - Sigma Knowledge base Browser

appearance as argument number 1

(documentation sphereRadius EnglishLanguage "(sphereRadius ?OBJECT ?LENGTH) means the radius of the spherical Object, ?OBJECT, is ?LENGTH.")	Mid-level-ontology.kif 13417-13418
(domain sphereRadius 1 Object)	Mid-level-ontology.kif 13415-13415
(domain sphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13416-13416
(instance sphereRadius BinaryPredicate)	Mid-level-ontology.kif 13414-13414

appearance as argument number 2

(format ChineseLanguage sphereRadius "%1 的 radius 是 %2 ")	domainEnglishFormat.kif 4590-4590
(format ChineseTraditionalLanguage sphereRadius "%1 的 radius 是 %2 ")	domainEnglishFormat.kif 4589-4589
(format EnglishLanguage sphereRadius "the radius of %1 is %2")	domainEnglishFormat.kif 4588-4588
(termFormat EnglishLanguage sphereRadius "sphere radius")	Mid-level-ontology.kif 13419-13419

antecedent

(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2.0) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM UnitOfLength)
        (instance ?VM UnitOfVolume))
    (equal ?V1 ?V2))

Mid-level-ontology.kif 17897-17908

consequent

(=> (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (greaterThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 13458-13469
(=> (and (defaultMinimumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (lessThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 13439-13449