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 13482-13483
(domain defaultMaximumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13481-13481	defaultMaximumSphereRadius の数値 2 引数は長さ測定の instance では %n
(domainSubclass defaultMaximumSphereRadius 1 Object)	Mid-level-ontology.kif 13480-13480	defaultMaximumSphereRadius の数値 1 引数はオブジェクトのsubclass では %n
(instance defaultMaximumSphereRadius BinaryPredicate)	Mid-level-ontology.kif 13479-13479	defaultMaximumSphereRadius は 2進述語の instance では %n

appearance as argument number 2

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

antecedent

(=>
    (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 13486-13497

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 1057-1070	エンティティーは Raining の instance では %n エンティティーエンティティー and クラスエンティティーはコレクションの instance では %n エンティティーは水の instance では %n エンティティーは LiquidDrop の instance では %n エンティティーはクラスの instance では %n
(=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter)))))	Weather.kif 3083-3089	エンティティーは Hailstone の instance では %n オブジェクトエンティティーはオブジェクトの instance では %n defaultMinimumSphereRadius オブジェクト and 0.5 の Centimeter(s) defaultMaximumSphereRadius オブジェクト and 15.0 の Centimeter(s)