TreeView Knowledge Base Browser - BodyAreaFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BodyAreaFn

BodyAreaFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6231-6232
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6234-6234	O argumento numero 1 de BodyAreaFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6230-6230	BodyAreaFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6235-6235	Os valores retornados por BodyAreaFn sao as sub-classes de Parte do Corpo

antecedent

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

Medicine.kif 6237-6246

Objeto e' uma instancia de BodyAreaFn Parte do Corpo Objeto e' uma instancia de Animal Objeto e' uma &parte de Objeto
Objeto Objeto e' uma instancia de Parte do Corpo Objeto e' Near em relacao a Objeto Objeto e' uma &parte de Objeto

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2930-2930	LeftThigh e' uma sub-classe de BodyAreaFn BodySideFn Left and ThighMuscle
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2933-2933	RightThigh e' uma sub-classe de BodyAreaFn BodySideFn Right and ThighMuscle

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