TreeView Knowledge Base Browser - defaultMaximumSphereRadius

appearance as argument number 1

(documentation defaultMaximumSphereRadius EnglishLanguage "A BinaryPredicate that states the assumed maximum sphereRadius of a spherical Object")	Mid-level-ontology.kif 12819-12820
(domain defaultMaximumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 12818-12818
(domainSubclass defaultMaximumSphereRadius 1 Object)	Mid-level-ontology.kif 12817-12817
(instance defaultMaximumSphereRadius BinaryPredicate)	Mid-level-ontology.kif 12816-12816

appearance as argument number 2

(format ChineseLanguage defaultMaximumSphereRadius "%1 的 maximum 預期半径是 %2 ")	domainEnglishFormat.kif 3191-3191
(format ChineseTraditionalLanguage defaultMaximumSphereRadius "%1 的 maximum 預期半徑是 %2 ")	domainEnglishFormat.kif 3190-3190
(format EnglishLanguage defaultMaximumSphereRadius "the maximum expected radius of %1 is %2")	domainEnglishFormat.kif 3189-3189
(termFormat EnglishLanguage defaultMaximumSphereRadius "default maximum sphere radius")	Mid-level-ontology.kif 12821-12821

antecedent

(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST
                (MeasureFn ?RADIUS ?U))
            (greaterThan ?RADIUS ?R)) Unlikely))

Mid-level-ontology.kif 12823-12833

consequent

(=> (instance ?RAIN Raining) (exists (?CLTN ?R) (and (instance ?CLTN Collection) (instance ?R Water) (instance ?R LiquidDrop) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?R (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?R (MeasureFn 9 Millimeter)))))	Weather.kif 1058-1070
(=> (instance ?STUFF Hailstone) (and (defaultMinimumSphereRadius ?STUFF (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?STUFF (MeasureFn 15 Centimeter))))	Weather.kif 3076-3080