sphereRadius |
appearance as argument number 1 |
(documentation sphereRadius EnglishLanguage "(sphereRadius ?OBJECT ?LENGTH) means the radius of the spherical Object, ?OBJECT, is ?LENGTH.") | Mid-level-ontology.kif 13472-13473 | |
(domain sphereRadius 1 Object) | Mid-level-ontology.kif 13470-13470 | |
(domain sphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 13471-13471 | |
(instance sphereRadius BinaryPredicate) | Mid-level-ontology.kif 13469-13469 |
appearance as argument number 2 |
(format ChineseLanguage sphereRadius "%1 的 radius 是 %2 ") | domainEnglishFormat.kif 4590-4590 | |
(format ChineseTraditionalLanguage sphereRadius "%1 的 radius 是 %2 ") | domainEnglishFormat.kif 4589-4589 | |
(format EnglishLanguage sphereRadius "the radius of %1 is %2") | domainEnglishFormat.kif 4588-4588 | |
(termFormat EnglishLanguage sphereRadius "sphere radius") | Mid-level-ontology.kif 13474-13474 |
antecedent |
(=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM UnitOfLength) (instance ?VM UnitOfVolume)) (equal ?V1 ?V2)) |
Mid-level-ontology.kif 17975-17986 |
consequent |
(=> (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 13513-13524 | |
(=> (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 13494-13504 |