(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death))))) |
Transportation.kif 4201-4225 | |
(subclass Microorganism Organism) | Merge.kif 14589-14589 | |
(subclass MalarialPlasmodium Microorganism) | WMD.kif 1614-1614 | |
(subclass Protozoa Microorganism) | Mid-level-ontology.kif 7204-7204 | |
(subclass Bacterium Microorganism) | Merge.kif 14593-14593 | |
(subclass Virus Microorganism) | Merge.kif 14616-14616 |
![]() |