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 | Parasite is a subclass of organism |
| (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 | Parasite is a subclass of organism |
| 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 | If X is an instance of parasite, then the statement there exist Y, Z such that X is located at Y, X is an involved in event of Z, Y is an involved in event of Z, X is a beneficiary of Z, and Y suffers from Z has the modal force of likely |
| consequent |
|
|
| (=> (and (instance ?F ParasiticDisease) (attribute ?H ?F)) (exists (?PAR) (and (part ?PAR ?H) (instance ?PAR Parasite)))) |
Mid-level-ontology.kif 6984-6991 | If X is an instance of parasitic disease and X is an attribute of Y, then there exists Z such that Z is a part of Y and Z is an instance of parasite |
|