CentrifugalMotion - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19051-19051	Centrifugal motion is disjoint from centripetal motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19052-19053	Centrifugal motion is disjoint from centripetal motion
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5907-5907	Centrifugal motion is disjoint from centripetal motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19050-19050	Centrifugal motion is a subclass of rotating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13929-13929
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13928-13928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13927-13927

antecedent

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

Mid-level-ontology.kif 19055-19064

If a process is an instance of centrifugal 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 originates 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 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