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 18381-18382
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18383-18383	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 18384-18384	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 18380-18380	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 9421-9421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9420-9420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9419-9419

antecedent

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

Mid-level-ontology.kif 18386-18398

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.	Geography.kif 3824-3831	If an object is equal to North Pole and the object is located at arctic region, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3851-3858	If an object is equal to South Pole and the object is located at antarctica, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18405-18414	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 18420-18429	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 1320-1323	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