Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Injury(injury) |
| appearance as argument number 1 |
|
| (instance Injury DiseaseOrSyndrome) | Medicine.kif 100-100 | Injury is an instance of disease or syndrome |
| (documentation Injury EnglishLanguage "Damange to an Organism that is the result of an Injuring.") | Medicine.kif 101-102 | Injury is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Injury "injury") | Medicine.kif 103-103 | |
| (range InjuryCausedFn Injury) | Medicine.kif 389-389 | The range of injury is an instance of injury |
| (subAttribute Bruise Injury) | Medicine.kif 403-403 | A hematoma is a subattribute of injury |
| (subAttribute BurnInjury Injury) | Medicine.kif 6063-6063 | Burn injury is a subattribute of injury |
| consequent |
|
|
| (=> (and (instance ?I Injuring) (experiencer ?I ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?I)) (attribute ?A Injury))) |
Medicine.kif 105-112 | If X is an instance of injuring and Y experiences X, then injury is an attribute of Y holds during immediately after the time of existence of X |
|