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 | Die Zahl 2 Argument von defaultMaximumSphereRadius ist ein fall von LengthMeasure %n{nicht} |
(domainSubclass defaultMaximumSphereRadius 1 Object) | Mid-level-ontology.kif 13480-13480 | Die Zahl 1 Argument von defaultMaximumSphereRadius ist eine teilkategorie von Object %n{nicht} |
(instance defaultMaximumSphereRadius BinaryPredicate) | Mid-level-ontology.kif 13479-13479 | defaultMaximumSphereRadius ist ein fall von BinaryPredicate %n{nicht} |
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 |