TreeView Knowledge Base Browser - defaultMinimumSphereRadius

appearance as argument number 2

(termFormat EnglishLanguage defaultMinimumSphereRadius "default minimum sphere radius")	Mid-level-ontology.kif 15028-15028
(format EnglishLanguage defaultMinimumSphereRadius "the minimum expected radius of %1 is %2")	domainEnglishFormat.kif 3204-3204
(format ChineseTraditionalLanguage defaultMinimumSphereRadius "%1 的 minimum 預期半徑是 %2 ")	domainEnglishFormat.kif 3205-3205
(format ChineseLanguage defaultMinimumSphereRadius "%1 的 minimum 预期半径是 %2 ")	domainEnglishFormat.kif 3206-3206

antecedent

(=>
    (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))

If the minimum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is less than Y has the modal force of unlikely

consequent

(=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN CollectionOfObjects) (instance ?R Water) (instance ?R LiquidDrop) (instance ?R ?CLASS) (member ?R ?CLTN) (objectTransferred ?RAIN ?CLTN) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.1 Millimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 9.0 Millimeter)))))	Weather.kif 1734-1747	If X is an instance of raining, then there exist Y, Z and W such that Y is an instance of collection and Z is an instance of water and Z is an instance of liquid drop and Z is an instance of W and Z is a member of Y and the object transferred in X is Y and the minimum expected radius of W is 0.1 millimeter(s) and the maximum expected radius of W is 9.0 millimeter(s)
(=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter)))))	Weather.kif 4352-4358	If X is an instance of hailstone, then there exists Y such that X is an instance of Y and the minimum expected radius of Y is 0.5 centimeter(s) and the maximum expected radius of Y is 15.0 centimeter(s)

appearance as argument number 0

(defaultMinimumSphereRadius BowlingBall (MeasureFn 2.25 Inch))	DimensioningAmenities.kif 730-730	The minimum expected radius of bowling ball is 2.25 inch(s)
(defaultMinimumSphereRadius ShotBall (MeasureFn 50 Millimeter))	DimensioningAmenities.kif 890-890	The minimum expected radius of shot ball is 50 millimeter(s)