defaultMinimumSphereRadius - Sigma Knowledge base Browser

appearance as argument number 1

(documentation defaultMinimumSphereRadius EnglishLanguage "A BinaryPredicate that states the assumed minimum sphereRadius of a spherical Object")	Mid-level-ontology.kif 13490-13491
(domain defaultMinimumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13489-13489	域 defaultMinimumSphereRadius, 2 and LengthMeasure
(domainSubclass defaultMinimumSphereRadius 1 Object)	Mid-level-ontology.kif 13488-13488	域子類 defaultMinimumSphereRadius, 1 and Object
(instance defaultMinimumSphereRadius BinaryPredicate)	Mid-level-ontology.kif 13487-13487	例 defaultMinimumSphereRadius and BinaryPredicate

appearance as argument number 2

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

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

Mid-level-ontology.kif 13494-13504

consequent

(=> (instance ?RAIN Raining) (exists (?CLTN ?R ?CLASS) (and (instance ?CLTN Collection) (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 1041-1054	例 Entity and 下雨 Entity Entity and Class 例 Entity and Collection 例 Entity and Water 例 Entity and LiquidDrop 例 Entity, Class, 會員 Entity and Entity, objectTransferred Entity and Entity, Class 的 minimum 預期半徑是測量 0.1 and 毫米 and Class 的 maximum 預期半徑是測量 9.0 and 毫米
(=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter)))))	Weather.kif 3066-3072	例 Entity and Hailstone Object 例 Entity and Object Object 的 minimum 預期半徑是測量 0.5 and 厘米 Object 的 maximum 預期半徑是測量 15.0 and 厘米