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

appearance as argument number 2

(disjoint CentrifugalMotion CentripetalMotion)	Mid-level-ontology.kif 17741-17741	Centrifugal motion is disjoint from centripetal motion
(termFormat ChineseLanguage CentripetalMotion "向心运动")	domainEnglishFormat.kif 13936-13936	Centrifugal motion is disjoint from centripetal motion
(termFormat ChineseTraditionalLanguage CentripetalMotion "向心運動")	domainEnglishFormat.kif 13935-13935	Centrifugal motion is disjoint from centripetal motion
(termFormat EnglishLanguage CentripetalMotion "centripetal motion")	domainEnglishFormat.kif 13934-13934	Centrifugal motion is disjoint from centripetal motion

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 17760-17769

consequent

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

Weather.kif 549-554