| 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 5883-5885 | |
| (subclass Parasite Organism) | Mid-level-ontology.kif 5882-5882 | Parasite est une sous-classe de organisme |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Parasite "parasite") | Mid-level-ontology.kif 5886-5886 |
| 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 5888-5898 |
| consequent |
|
|
| (=> (and (instance ?F ParasiticDisease) (attribute ?H ?F)) (exists (?PAR) (and (part ?PAR ?H) (instance ?PAR Parasite)))) |
Mid-level-ontology.kif 5859-5866 |
|
|
|