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 13472-13473
(domain sphereRadius 1 Object)	Mid-level-ontology.kif 13470-13470	域 sphereRadius, 1 and Object
(domain sphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13471-13471	域 sphereRadius, 2 and LengthMeasure
(instance sphereRadius BinaryPredicate)	Mid-level-ontology.kif 13469-13469	例 sphereRadius and BinaryPredicate

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 13474-13474

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 17975-17986

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 13513-13524	Object 的 maximum 預期半徑是測量 RealNumber and UnitOfMeasure 例 Object and Object attribute Object and 球模態屬性 RealNumberADIUS Object 的 radius 是測量 RealNumberADIUS and UnitOfMeasure 比較多 RealNumberADIUS and RealNumber and 較不可能
(=> (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 13494-13504	Object 的 minimum 預期半徑是測量 RealNumber and UnitOfMeasure 例 Object and Object attribute Object and 球模態屬性 RealNumberADIUS Object 的 radius 是測量 RealNumberADIUS and UnitOfMeasure 少於 RealNumberADIUS and RealNumber and 較不可能