TreeView Knowledge Base Browser - Stroke

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Stroke

Stroke

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11892-11904
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11891-11891	Stroke e' uma sub-classe de Processo Patologico

appearance as argument number 2

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

Mid-level-ontology.kif 11905-11905

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	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.	Mid-level-ontology.kif 11933-11944	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11907-11912	Fisico e' uma instancia de Stroke Objeto Objeto e' uma instancia de Brain Fisico e' situado em Objeto

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