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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMinimumSphereRadius

Sigma KEE - defaultMinimumSphereRadius
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 11066-11067
(domain defaultMinimumSphereRadius 2 LengthMeasure) Mid-level-ontology.kif 11065-11065
(domainSubclass defaultMinimumSphereRadius 1 Object) Mid-level-ontology.kif 11064-11064
(instance defaultMinimumSphereRadius BinaryPredicate) Mid-level-ontology.kif 11063-11063

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


(format EnglishLanguage defaultMinimumSphereRadius "the minimum expected radius of %1 is %2") domainEnglishFormat.kif 812-812
(termFormat EnglishLanguage defaultMinimumSphereRadius "default minimum sphere radius") Mid-level-ontology.kif 11068-11068

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


(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (lessThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11069-11077

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

appearance as argument number 0
-------------------------


(defaultMinimumSphereRadius BowlingBall
    (MeasureFn 2.25 Inch))
DimensioningAmenities.kif 728-728
(defaultMinimumSphereRadius ShotBall
    (MeasureFn 50 Millimeter))
DimensioningAmenities.kif 888-888


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