TreeView Knowledge Base Browser - CentripetalMotion

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

CentripetalMotion

Sigma KEE - CentripetalMotion

CentripetalMotion(centripetal motion)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17499-17500
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17498-17498	Centripetal motion is a subclass of rotating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17483-17483	Centrifugal motion is disjoint from centripetal motion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13920-13920
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13919-13919
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13918-13918

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 17502-17511

If a process is an instance of centripetal motion,
then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process ends up at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process

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

Show without tree

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