BodyPosition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BodyPosition

BodyPosition(body position)

address, arabesque, asana, attention, attitude, ballet_position, decubitus, erectness, eversion, guard, lithotomy_position, lotus_position, matsyendra, missionary_position, position, posture, sprawl, sprawling, stance, uprightness

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4006-4007
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18065-18067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18064-18064	Body position is a subclass of biological attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19851-19851	Fist is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19876-19876	Handstand is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19880-19880	Kneeling is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1832-1832	Lateral recumbant is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18095-18095	Prostrate is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18091-18091	Sitting is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19897-19897	Splitting is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18081-18081	Standing is an instance of body position
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11489-11489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11488-11488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11487-11487

consequent

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

Merge.kif 18069-18079

If an agent is an instance of animal,
then there exists a process such that the process is an instance of body motion and the agent is an agent of the process or there exists an attribute such that the attribute is an instance of body position and the attribute is an attribute of the agent

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