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(infecting)

canker, catch, catch_cold, infect, taint

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6318-6320
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6317-6317	Infecting is a subclass of taking ill

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3160-3160	Breakthrough case is a subclass of infecting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3197-3197	Community spread is a subclass of infecting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6321-6321	Community spread is a subclass of infecting

antecedent

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

Mid-level-ontology.kif 6323-6335

If a process is an instance of infecting and an agent experiences the process,
then there exist a motion, another process and another agent such that the motion is an instance of translocation and the other agent moves during the motion and the other agent is an instance of organism and the other process is an instance of replication and the other agent experiences the other process and the motion is a subprocess of the process and the other process is a subprocess of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5515-5523	If a process is an instance of septic shock and an agent experiences the process, then there exists another process such that the other process is an instance of infecting and the agent experiences the other process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	If a kind of vaccine is a vaccine for a kind of virus and a transfer is an instance of vaccination and an agent experiences the transfer and a kind of vaccineI is an instance of the kind of vaccine and the object transferred in the transfer is the kind of vaccineI, then the kind of vaccineI has the purpose there don't exist an entity and a kind of virusI such that the entity is an instance of infecting and the agent experiences the entity and the kind of virusI is an instance of the kind of virus and the object transferred in the entity is the kind of 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