TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CentrifugalMotion Rotating)	Mid-level-ontology.kif 19409-19409	Centrifugal motion is a subclass of rotating
(disjoint CentrifugalMotion CentripetalMotion)	Mid-level-ontology.kif 19410-19410	Centrifugal motion is disjoint from CentripetalMotion
(documentation CentrifugalMotion EnglishLanguage "Any instance of Rotating where there is Motion away from the center of the Rotating.")	Mid-level-ontology.kif 19411-19412	Centrifugal motion is disjoint from CentripetalMotion
(externalImage CentrifugalMotion "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Coriolis_effect11.jpg")	pictureList.kif 5907-5907	Centrifugal motion is disjoint from CentripetalMotion

appearance as argument number 2

(termFormat EnglishLanguage CentrifugalMotion "centrifugal motion")	domainEnglishFormat.kif 13920-13920
(termFormat ChineseTraditionalLanguage CentrifugalMotion "離心運動")	domainEnglishFormat.kif 13921-13921
(termFormat ChineseLanguage CentrifugalMotion "离心运动")	domainEnglishFormat.kif 13922-13922

antecedent

(=>
    (and
        (instance ?R CentrifugalMotion)
        (instance ?O Object)
        (moves ?R ?O)
        (instance ?A Object)
        (located ?A ?O))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M MovingAwayFrom)
                (changesLocation ?M ?A)
                (origin ?M ?O)
                (causes ?R ?M))) Likely))

If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely