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 e' uma sub-classe de Atributo Biologico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19851-19851	Fist e' uma instancia de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19876-19876	Handstand e' uma instancia de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19880-19880	Kneeling e' uma instancia de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1832-1832	LateralRecumbant e' uma instancia de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18095-18095	Prostrate e' uma instancia de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18091-18091	Sitting e' uma instancia de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19897-19897	Splitting e' uma instancia de BodyPosition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18081-18081	Standing e' uma instancia 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 e' uma instancia de Animal
Processo Processo e' uma instancia de Movimento do Corpo Processo e' um agente de AutonomousAgent Atributo Atributo e' uma instancia de BodyPosition Atributo e' um atributo 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