Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Parasite |  |
| appearance as argument number 1 |
|
|
| (subclass Parasite Organism) | Mid-level-ontology.kif 7007-7007 | |
| (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 7008-7010 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Parasite "parasite") | Mid-level-ontology.kif 7011-7011 |
| 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 7013-7023 |
| consequent |
|
|
| (=> (and (instance ?F ParasiticDisease) (attribute ?H ?F)) (exists (?PAR) (and (part ?PAR ?H) (instance ?PAR Parasite)))) |
Mid-level-ontology.kif 6984-6991 |
|