Infecting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Infecting

Infecting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5836-5838
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5835-5835	Infecting e' uma sub-classe de TakingIll

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3172-3172	BreakthroughInfection e' uma sub-classe de Infecting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3209-3209	CommunitySpread e' uma sub-classe de Infecting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5839-5839

antecedent

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

Mid-level-ontology.kif 5841-5853

Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo
Movimento Processo and AutonomousAgent Movimento e' uma instancia de Translocation moves Movimento and AutonomousAgent AutonomousAgent e' uma instancia de Organismo Processo e' uma instancia de Reproducao AutonomousAgent experimenta Processo Movimento e' um sub-processo de Processo Processo e' um sub-processo de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5527-5535	Processo e' uma instancia de Sepsis AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	vaccine Vaccine and Virus Transferencia e' uma instancia de Vaccination AutonomousAgent experimenta Transferencia VaccineI e' uma instancia de Vaccine objectTransferred Transferencia and VaccineI VaccineI tem por fim Entidade VirusI Entidade e' uma instancia de Infecting AutonomousAgent experimenta Entidade VirusI e' uma instancia de Virus objectTransferred Entidade and VirusI

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