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 13482-13483 | |
(domain defaultMaximumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 13481-13481 | O argumento numero 2 de defaultMaximumSphereRadius e' uma instancia de Medida de Comprimento |
(domainSubclass defaultMaximumSphereRadius 1 Object) | Mid-level-ontology.kif 13480-13480 | O argumento numero 1 de defaultMaximumSphereRadius e' uma sub-classe de Objeto |
(instance defaultMaximumSphereRadius BinaryPredicate) | Mid-level-ontology.kif 13479-13479 | defaultMaximumSphereRadius e' uma instancia de Predicado Binario |
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 13484-13484 |
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 13486-13497 |
|
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 1057-1070 | |
(=> (instance ?STUFF Hailstone) (exists (?CLASS) (and (instance ?STUFF ?CLASS) (defaultMinimumSphereRadius ?CLASS (MeasureFn 0.5 Centimeter)) (defaultMaximumSphereRadius ?CLASS (MeasureFn 15.0 Centimeter))))) |
Weather.kif 3083-3089 |
|