TreeView Knowledge Base Browser - defaultMinimumSphereRadius

appearance as argument number 1

(documentation defaultMinimumSphereRadius EnglishLanguage "A BinaryPredicate that states the assumed minimum sphereRadius of a spherical Object")	Mid-level-ontology.kif 14792-14793
(domain defaultMinimumSphereRadius 2 LengthMeasure)	Mid-level-ontology.kif 14791-14791	The number 2 argument of default minimum sphere radius is an instance of length measure
(domainSubclass defaultMinimumSphereRadius 1 Object)	Mid-level-ontology.kif 14790-14790	The number 1 argument of default minimum sphere radius is a subclass of object
(instance defaultMinimumSphereRadius BinaryPredicate)	Mid-level-ontology.kif 14789-14789	default minimum sphere radius is an instance of binary predicate

appearance as argument number 2

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

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 14796-14806

If the minimum expected radius of a kind of object is a real number an unit of measure(s) and another object is an instance of a kind of object and sphere is an attribute of the other object,
then the statement there exists the real numberADIUS such that the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is less than the real number has the modal force of unlikely

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 1750-1763	If a transfer is an instance of raining, then there exist a collection, a physical and a kind of object such that the collection is an instance of collection and the physical is an instance of water and the physical is an instance of liquid drop and the physical is an instance of a kind of object and the physical is a member of the collection and the object transferred in the transfer is the collection and the minimum expected radius of the kind of object is 0.1 millimeter(s) and the maximum expected radius of the kind of object 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 4408-4414	If an entity is an instance of hailstone, then there exists a kind of object such that the entity is an instance of a kind of object and the minimum expected radius of the kind of object is 0.5 centimeter(s) and the maximum expected radius of the kind of object is 15.0 centimeter(s)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: