CentripetalMotion(centripetal motion) |
appearance as argument number 1 |
![]() |
(documentation CentripetalMotion EnglishLanguage "Any instance of Rotating where there is Motion towards the center of the Rotating.") | Mid-level-ontology.kif 17342-17343 | |
(subclass CentripetalMotion Rotating) | Mid-level-ontology.kif 17341-17341 | Centripetal motion is a subclass of rotating |
appearance as argument number 2 |
![]() |
(disjoint CentrifugalMotion CentripetalMotion) | Mid-level-ontology.kif 17326-17326 | Centrifugal motion is disjoint from centripetal motion |
(termFormat ChineseLanguage CentripetalMotion "向心运动") | domainEnglishFormat.kif 13918-13918 | |
(termFormat ChineseTraditionalLanguage CentripetalMotion "向心運動") | domainEnglishFormat.kif 13917-13917 | |
(termFormat EnglishLanguage CentripetalMotion "centripetal motion") | domainEnglishFormat.kif 13916-13916 |
antecedent |
![]() |
(=> (instance ?CM CentripetalMotion) (exists (?R ?A ?O1 ?O2) (and (instance ?R Rotating) (axis ?A ?O1) (destination ?CM ?A) (experiencer ?R ?O1) (experiencer ?CM ?O2) (causes ?R ?CM)))) |
Mid-level-ontology.kif 17345-17354 |
|
![]() |
![]() |