Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMaximumSphereRadius

Sigma KEE - defaultMaximumSphereRadius
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 11083-11084
(domain defaultMaximumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 11082-11082 The number 2 argument of default maximum sphere radius is an instance of length measure
(domainSubclass defaultMaximumSphereRadius 1 Object) Mid-level-ontology.kif 11081-11081 The number 1 argument of default maximum sphere radius is a subclass of object
(instance defaultMaximumSphereRadius BinaryPredicate) Mid-level-ontology.kif 11080-11080 default maximum sphere radius is an instance of binary predicate

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


(format EnglishLanguage defaultMaximumSphereRadius "the maximum expected radium of %1 is %2") domainEnglishFormat.kif 806-806
(termFormat EnglishLanguage defaultMaximumSphereRadius "default maximum sphere radius") Mid-level-ontology.kif 11085-11085 "default maximum sphere radius" is the printable form of default maximum sphere radius in english language

antecedent
-------------------------


(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (greaterThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11086-11094

consequent
-------------------------


(=>
    (instance ?RAIN Raining)
    (exists (?CLTN ?R)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (defaultMinimumSphereRadius ?R
                (MeasureFn 0.1 Millimeter))
            (defaultMaximumSphereRadius ?R
                (MeasureFn 9 Millimeter)))))
Weather.kif 670-682
(=>
    (instance ?STUFF Hailstone)
    (and
        (defaultMinimumSphereRadius ?STUFF
            (MeasureFn 0.5 Centimeter))
        (defaultMaximumSphereRadius ?STUFF
            (MeasureFn 15 Centimeter))))
Weather.kif 1550-1554


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners