Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Hypersalivation(hypersalivation) |
| appearance as argument number 1 |
|
| (instance Hypersalivation DiseaseOrSyndrome) | Medicine.kif 5342-5342 | Hypersalivation is an instance of disease or syndrome |
| (documentation Hypersalivation EnglishLanguage "Generation of too much saliva, which can result in Spitting or Drooling or Nausea from swallowing,") | Medicine.kif 5343-5345 | Hypersalivation is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Hypersalivation "hypersalivation") | Medicine.kif 5346-5346 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H Hypersalivation)) (modalAttribute (exists (?S) (and (experiencer ?S ?H) (during (WhenFn ?S) ?T) (or (instance ?S Spitting) (instance ?S Drooling) (instance ?S Nausea)))) Likely)) |
Medicine.kif 5348-5362 | If hypersalivation is an attribute of X holds during Y, then the statement there exists Z such that X experiences Z, the time of existence of Z takes place during Y, and Z is an instance of spitting, Z is an instance of drooling, or Z is an instance of nausea has the modal force of likely |
|