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 13509-13510 | |
(domain defaultMaximumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 13508-13508 | The number 2 argument of default maximum sphere radius is an instance of length measure |
(domainSubclass defaultMaximumSphereRadius 1 Object) | Mid-level-ontology.kif 13507-13507 | The number 1 argument of default maximum sphere radius is a subclass of object |
(instance defaultMaximumSphereRadius BinaryPredicate) | Mid-level-ontology.kif 13506-13506 | default maximum sphere radius is an instance of binary predicate |
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 13511-13511 |
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 13513-13524 |
|
consequent |