Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Dizzy(dizziness) |
| appearance as argument number 1 |
|
| (instance Dizzy DiseaseOrSyndrome) | Mid-level-ontology.kif 18039-18039 | Dizziness is an instance of disease or syndrome |
| (documentation Dizzy EnglishLanguage "The state of feeling like one is about to fall, or would fall if standing.") | Mid-level-ontology.kif 18040-18041 | Dizziness is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Dizzy "dizziness") | Mid-level-ontology.kif 18042-18042 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H Dizzy)) (holdsDuring ?T (fears ?H (exists (?T2) (=> (and (during ?T2 ?T) (holdsDuring ?T2 (attribute ?H Standing))) (exists (?F) (and (instance ?F Falling) (experiencer ?F ?H) (meetsTemporally ?T2 (WhenFn ?F))))))))) |
Mid-level-ontology.kif 18044-18060 | If dizziness is an attribute of X holds during Y, then X fears there exists Z such that Z takes place during Y, standing is an attribute of X holds during Zthere exists W such that W is an instance of falling, X experiences W, and Z meets the time of existence of W holds during Y |
|