TreeView Knowledge Base Browser - Brain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Brain

Brain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11848-11848
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 288-288
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 51-51
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11847-11847	Brain e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11846-11846	Brain e' uma sub-classe de VitalOrgan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11875-11875	partTypes FrontalLobe and Brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11853-11853	partTypes Medulla and Brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11882-11882	partTypes OccipitalLobes and Brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11867-11867	partTypes ParietalLobe and Brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11859-11859	partTypes Pons and Brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11889-11889	partTypes TemporalLobes and Brain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11825-11825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11824-11824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11823-11823

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11915-11932	Fisico e' uma instancia de Stroke Objeto e' uma instancia de Brain Fisico e' situado em Objeto Objeto Objeto e' uma instancia de NerveCell Objeto e' uma &parte de Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de LiquidMotion objectTransferred Intervalo Temporal and Objeto Objeto e' uma instancia de Sangue Intervalo Temporal acontece durante tempo de existencia de Fisico Intervalo Temporal termina em Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	Processo e' uma instancia de Impactar Entidade e' um patient de Processo ImpairedBodyPartFn Brain e' um atributo de Entidade vale durante imediatemente apos Processo o argumento Concussion e' um atributo de Entidade vale durante imediatemente apos Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11934-11945	Processo e' uma instancia de Stroke Objeto e' uma instancia de Brain Processo e' situado em Objeto Fisico Processo Fisico e' uma instancia de NerveCell Fisico e' situado em Objeto Processo e' uma instancia de Destrucao Processo e' um sub-processo de Processo Fisico e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1613-1621	Processo e' uma instancia de Seizure AutonomousAgent experimenta Processo Objeto Objeto e' uma instancia de Brain Objeto e' uma &parte de AutonomousAgent Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1294-1299	TraumaticBrainInjury e' um atributo de Entidade vale durante Posicao Temporal ImpairedBodyPartFn Brain e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11908-11913	Fisico e' uma instancia de Stroke Objeto Objeto e' uma instancia de Brain Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12099-12104	Objeto e' uma instancia de Hypothalamus Objeto Objeto e' uma instancia de Brain Objeto e' uma &parte de Objeto

statement

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

Medicine.kif 5188-5188

BrainDead e' igual a DeadOrMissingBodyPartFn Brain

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