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

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	BodyPosition est une sous-classe de attribut biologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19851-19851	Fist est une instance de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19876-19876	Handstand est une instance de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19880-19880	Kneeling est une instance de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1832-1832	LateralRecumbant est une instance de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18095-18095	Prostrate est une instance de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18091-18091	Sitting est une instance de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19897-19897	Splitting est une instance de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18081-18081	Standing est une instance de BodyPosition
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

AutonomousAgent est une instance de animal
processus processus est une instance de mouvement du corps processus est un agent de AutonomousAgent attribut attribut est une instance de BodyPosition attribut est un attribut de AutonomousAgent

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