Inflammation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Inflammation

Inflammation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12414-12421
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12413-12413	Inflammation e' uma sub-classe de Aumentar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12412-12412	Inflammation e' uma sub-classe de Processo de Orgao or Tecido

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4937-4937	diseaseSymptom Hyperferritinemia and Inflammation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12437-12437	O contra-dominio de InflammationFn e' uma instancia de Inflammation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12422-12422

antecedent

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

Mid-level-ontology.kif 12424-12433

Fisico e' uma instancia de Inflammation
Transferencia Objeto Transferencia e' uma instancia de Translocation Objeto e' uma instancia de WhiteBloodCell objectTransferred Transferencia and Objeto Transferencia termina em o lugar onde Fisico estava em tempo de existencia de Fisico

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2425-2434	Processo e' uma instancia de AutoimmuneVasculitis AutonomousAgent experimenta Processo Objeto Processo Objeto e' uma instancia de BloodVessel Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Inflammation Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5706-5716	Sinusitis e' um atributo de Objeto vale durante Intervalo Temporal Buraco BuracoH and Processo Buraco e' uma instancia de NasalCavity BuracoH e' igual a o dono do buraco Buraco BuracoH e' uma &parte de Objeto Processo e' uma instancia de Inflammation tempo de existencia de Processo acontece durante Intervalo Temporal BuracoH e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12448-12468	Fisico e' uma instancia de AntiInflammatory Fisico tem por fim Entidade Entidade and EntidadeN Entidade e' uma instancia de Inflammation Entidade experimenta Entidade EntidadeN e' uma instancia de Ingerir o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de EntidadeN Entidade2 Entidade2 e' uma instancia de Inflammation Entidade experimenta Entidade2 vale durante apos tempo de existencia de Entidade

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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