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 13481-13482
(domain defaultMaximumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 13480-13480	Il numero 2 argomenti di defaultMaximumSphereRadius è un istanza di MisuraDiLunghezza
(domainSubclass defaultMaximumSphereRadius 1 Object)	Mid-level-ontology.kif 13479-13479	Il numero 1 argomento defaultMaximumSphereRadius è una sottoclasse diOggetto
(instance defaultMaximumSphereRadius BinaryPredicate)	Mid-level-ontology.kif 13478-13478	defaultMaximumSphereRadius è un' istanza di PredicatoBinario

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

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 13485-13496

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 1053-1066	Entit� è un' istanza di Raining Entit� Entit� and Classe Entit� è un' istanza di InsiemeConcreto Entit� è un' istanza di Acqua Entit� è un' istanza di LiquidDrop Entit� è un' istanza di Classe
(=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter)))))	Weather.kif 3079-3085	Entit� è un' istanza di Hailstone Oggetto Entit� è un' istanza di Oggetto defaultMinimumSphereRadius Oggetto and 0.5 Centimeter(s defaultMaximumSphereRadius Oggetto and 15.0 Centimeter(s