CentripetalMotion - Sigma Knowledge base Browser

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 17471-17472
(subclass CentripetalMotion Rotating)	Mid-level-ontology.kif 17470-17470	Centripetal motion is a subclass of rotating

appearance as argument number 2

(disjoint CentrifugalMotion CentripetalMotion)	Mid-level-ontology.kif 17455-17455	Centrifugal motion is disjoint from centripetal motion
(termFormat ChineseLanguage CentripetalMotion "向心运动")	domainEnglishFormat.kif 13920-13920
(termFormat ChineseTraditionalLanguage CentripetalMotion "向心運動")	domainEnglishFormat.kif 13919-13919
(termFormat EnglishLanguage CentripetalMotion "centripetal motion")	domainEnglishFormat.kif 13918-13918

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 17474-17483