Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Asphyxiation(asphyxiation) |
| appearance as argument number 1 |
|
| (subclass Asphyxiation Death) | Medicine.kif 6331-6331 | Asphyxiation is a subclass of death |
| (documentation Asphyxiation EnglishLanguage "A kind of Death caused by an inability to perform Beathing.") | Medicine.kif 6332-6332 | Asphyxiation is a subclass of death |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Asphyxiation "asphyxiation") | Medicine.kif 6333-6333 |
| antecedent |
|
|
| (=> (and (instance ?A Asphyxiation) (experiencer ?A ?M)) (holdsDuring (WhenFn ?A) (not (exists (?B) (and (instance ?B Breathing) (experiencer ?B ?A)))))) |
Medicine.kif 6335-6344 | If X is an instance of asphyxiation and Y experiences X, then there doesn't exist Z such that Z is an instance of breathing and X experiences Z holds during the time of existence of X |
|