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 17526-17527
(subclass CentripetalMotion Rotating)	Mid-level-ontology.kif 17525-17525	向心运动是旋转的 subclass

appearance as argument number 2

(disjoint CentrifugalMotion CentripetalMotion)	Mid-level-ontology.kif 17510-17510	离心运动和 % 2 是 disjoint
(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 17529-17538

consequent

(=>
    (instance ?CS CyclonicStorm)
    (exists (?CM)
        (and
            (instance ?CM CentripetalMotion)
            (subProcess ?CM ?CS))))

Weather.kif 549-554