Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMaximumSphereRadius
defaultMaximumSphereRadius

appearance as argument number 1
-------------------------


(instance defaultMaximumSphereRadius BinaryPredicate) Mid-level-ontology.kif 15042-15042 default maximum sphere radius is an instance of binary predicate
(domainSubclass defaultMaximumSphereRadius 1 Object) Mid-level-ontology.kif 15043-15043 The number 1 argument of default maximum sphere radius is a subclass of object
(domain defaultMaximumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 15044-15044 The number 2 argument of default maximum sphere radius is an instance of length measure
(documentation defaultMaximumSphereRadius EnglishLanguage "A BinaryPredicate that states the assumed maximum sphereRadius of a spherical Object") Mid-level-ontology.kif 15045-15046 The number 2 argument of default maximum sphere radius is an instance of length measure

appearance as argument number 2
-------------------------


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

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 15049-15060 If the maximum 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 greater than Y has the modal force of unlikely
(=>
    (and
        (instance ?ROBOT CarryBot)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (widthLimit ?ROBOT
            (MeasureFn ?WIDTHLIMIT ?UNIT))
        (or
            (and
                (defaultMaximumLength ?OBJECT
                    (MeasureFn ?LENGTH ?UNIT))
                (defaultMaximumWidth ?OBJECT
                    (MeasureFn ?WIDTH ?UNIT))
                (defaultMaximumHeight ?OBJECT
                    (MeasureFn ?HEIGHT ?UNIT))
                (greaterThan ?LENGTH ?WIDTHLIMIT)
                (greaterThan ?WIDTH ?WIDTHLIMIT)
                (greaterThan ?HEIGHT ?WIDTHLIMIT))
            (and
                (defaultMaximumSphereRadius ?OBJECT
                    (MeasureFn ?RADIUS ?UNIT))
                (greaterThan
                    (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 28-52 If X is an instance of CarryBot, Y is an instance of Z, Z is a subclass of object, widthLimit X and W V(s), and All of the following hold: (1) the maximum expected length of Z is U V(s) (2) the maximum expected width of Z is T V(s) (3) the maximum expected height of Z is S V(s) (4) U is greater than W (5) T is greater than W (6) S is greater than W or the maximum expected radius of Z is R V(s) and R and 2 is greater than W, then canCarry X and Y
(=>
    (and
        (lengthLimit ?ROBOT
            (MeasureFn ?LENGTHLIMIT ?UNIT))
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (or
            (and
                (defaultMaximumLength ?OBJECT
                    (MeasureFn ?LENGTH ?UNIT))
                (defaultMaximumWidth ?OBJECT
                    (MeasureFn ?WIDTH ?UNIT))
                (defaultMaximumHeight ?OBJECT
                    (MeasureFn ?HEIGHT ?UNIT)))
            (or
                (and
                    (greaterThan ?LENGTH ?LENGTHLIMIT)
                    (greaterThan ?WIDTH ?LENGTHLIMIT))
                (and
                    (greaterThan ?LENGTH ?LENGTHLIMIT)
                    (greaterThan ?HEIGHT ?LENGTHLIMIT))
                (and
                    (greaterThan ?WIDTH ?LENGTHLIMIT)
                    (greaterThan ?HEIGHT ?LENGTHLIMIT)))
            (and
                (defaultMaximumSphereRadius ?OBJECT
                    (MeasureFn ?RADIUS ?UNIT))
                (greaterThan
                    (MultiplicationFn ?RADIUS 2)
                    (DivisionFn ?LENGTHLIMIT 2)))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 61-86 If lengthLimit X and Y Z(s), W is an instance of V, V is a subclass of object, and At least one of the following holds: (1) the maximum expected length of V is U Z(s), the maximum expected width of V is T Z(s), and the maximum expected height of V is S Z(s) (2) At least one of the following holds: (1) U is greater than Y and T is greater than Y (2) U is greater than Y and S is greater than Y (3) T is greater than Y and S is greater than Y (3) the maximum expected radius of V is R Z(s) and R, 2 is greater than Y, and 2, then canCarry X and W

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)