axis - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - axis

axis

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17462-17463
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17464-17464	The number 1 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17465-17465	The number 2 argument of axis is an instance of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17461-17461	axis is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 244-244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 243-243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 242-242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9414-9414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9413-9413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9412-9412

antecedent

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

Mid-level-ontology.kif 17467-17479

If an agent is an axis of another agent,
then there exists a process such that the process is an instance of rotating and the other agent is a part of the agent and the agent experiences the process and there doesn't exist the process2 such that the process2 is an instance of rotating and the process2 is a subprocess of the process and the other agent experiences the process2

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17486-17495	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17501-17510	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1327-1330	If an object is an instance of lever, then there exists another object such that the object is an axis of the other object

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