TreeView Knowledge Base Browser - BodyPosition

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 18122-18124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18121-18121	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 19879-19879	Fist is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19904-19904	Handstand is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19908-19908	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 18152-18152	Prostrate is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18148-18148	Sitting is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19925-19925	Splitting is an instance of body position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18138-18138	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 18126-18136

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 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