| Parasite | |
| appearance as argument number 1 |
|
|
| (documentation Parasite EnglishLanguage "An Organism, other than a Fungus or Microorganism that typically lives on or within a host and is detrimental to the host.") | Mid-level-ontology.kif 6826-6828 | |
| (subclass Parasite Organism) | Mid-level-ontology.kif 6825-6825 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Parasite "parasite") | Mid-level-ontology.kif 6829-6829 |
| antecedent |
|
|
| (=> (instance ?P Parasite) (modalAttribute (exists (?H ?PROC) (and (located ?P ?H) (involvedInEvent ?PROC ?P) (involvedInEvent ?PROC ?H) (benefits ?PROC ?P) (suffers ?PROC ?H))) Likely)) |
Mid-level-ontology.kif 6831-6841 |
| consequent |
|
|
| (=> (and (instance ?F ParasiticDisease) (attribute ?H ?F)) (exists (?PAR) (and (part ?PAR ?H) (instance ?PAR Parasite)))) |
Mid-level-ontology.kif 6802-6809 |
|
|
|