| CentrifugalMotion(centrifugal motion)
|
| appearance as argument number 1 |
|
| (disjoint CentrifugalMotion CentripetalMotion) | Mid-level-ontology.kif 17741-17741 | Centrifugal motion is disjoint from centripetal motion |
| (documentation CentrifugalMotion EnglishLanguage "Any instance of Rotating where there is Motion away from the center of the Rotating.") | Mid-level-ontology.kif 17742-17743 | Centrifugal motion is disjoint from centripetal motion |
| (externalImage CentrifugalMotion "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Coriolis_effect11.jpg") | pictureList.kif 5908-5908 | Centrifugal motion is disjoint from centripetal motion |
| (subclass CentrifugalMotion Rotating) | Mid-level-ontology.kif 17740-17740 | Centrifugal motion is a subclass of rotating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CentrifugalMotion "离心运动") | domainEnglishFormat.kif 13930-13930 | |
| (termFormat ChineseTraditionalLanguage CentrifugalMotion "離心運動") | domainEnglishFormat.kif 13929-13929 | |
| (termFormat EnglishLanguage CentrifugalMotion "centrifugal motion") | domainEnglishFormat.kif 13928-13928 |
| antecedent |
|
|
| (=> (instance ?CM CentrifugalMotion) (exists (?R ?A ?O1 ?O2) (and (instance ?R Rotating) (axis ?A ?O1) (origin ?CM ?A) (experiencer ?R ?O1) (experiencer ?CM ?O2) (causes ?R ?CM)))) |
Mid-level-ontology.kif 17745-17754 |
|
|
|
|