Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CentrifugalMotion
CentrifugalMotion(centrifugal motion)

appearance as argument number 1
-------------------------


(disjoint CentrifugalMotion CentripetalMotion) Mid-level-ontology.kif 18572-18572 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 18573-18574 Centrifugal motion is disjoint from centripetal motion
(externalImage CentrifugalMotion "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3d/ Coriolis_effect11.jpg") pictureList.kif 5907-5907 Centrifugal motion is disjoint from centripetal motion
(subclass CentrifugalMotion Rotating) Mid-level-ontology.kif 18571-18571 Centrifugal motion is a subclass of rotating

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CentrifugalMotion "离心运动") domainEnglishFormat.kif 13929-13929
(termFormat ChineseTraditionalLanguage CentrifugalMotion "離心運動") domainEnglishFormat.kif 13928-13928
(termFormat EnglishLanguage CentrifugalMotion "centrifugal motion") domainEnglishFormat.kif 13927-13927

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 18576-18585


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners