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 12915-12916 | |
(domain sphereRadius 1 Object) | Mid-level-ontology.kif 12913-12913 | The number 1 argument of sphere radius is an instance of object |
(domain sphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 12914-12914 | The number 2 argument of sphere radius is an instance of length measure |
(instance sphereRadius BinaryPredicate) | Mid-level-ontology.kif 12912-12912 | sphere radius is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage sphereRadius "%1 的 radius 是 %2 ") | domainEnglishFormat.kif 4599-4599 | |
(format ChineseTraditionalLanguage sphereRadius "%1 的 radius 是 %2 ") | domainEnglishFormat.kif 4598-4598 | |
(format EnglishLanguage sphereRadius "the radius of %1 is %2") | domainEnglishFormat.kif 4597-4597 | |
(termFormat EnglishLanguage sphereRadius "sphere radius") | Mid-level-ontology.kif 12917-12917 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |