Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InjuryCausedFn |
| appearance as argument number 1 |
|
| (instance InjuryCausedFn UnaryFunction) | Medicine.kif 385-385 | Injury is an instance of unary function |
| (documentation InjuryCausedFn EnglishLanguage "A Function that denotes an Injury resulting from a specific kind of Process.") | Medicine.kif 387-388 | Injury is an instance of unary function |
| (range InjuryCausedFn Injury) | Medicine.kif 389-389 | The range of injury is an instance of injury |
| (domainSubclass InjuryCausedFn 1 Process) | Medicine.kif 390-390 | The number 1 argument of injury is a subclass of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InjuryCausedFn "injury") | Medicine.kif 386-386 | |
| (format EnglishLanguage InjuryCausedFn "an injury caused by %1") | Medicine.kif 391-391 |
| antecedent |
|
|
| (=> (attribute ?H (InjuryCausedFn ?PC)) (exists (?I ?P) (and (instance ?I Injuring) (patient ?I ?H) (instance ?P ?PC) (causes ?P ?I)))) |
Medicine.kif 393-400 | If an injury caused by X is an attribute of Y, then there exist Z, W such that Z is an instance of injuring, Y is a patient of Z, W is an instance of X, and W causes Z |
| (=> (and (instance ?V ViolentContest) (patient ?V ?H) (attribute ?H (InjuryCausedFn ?PC)) (attribute ?H (ImpairedBodyPartFn Airway))) (modalAttribute (or (subclass ?PC Combustion) (exists (?FI) (and (instance ?I Injuring) (located ?I ?F) (instance ?F Face) (patient ?I ?H)))) Likely)) |
Medicine.kif 676-693 | If X is an instance of violent contest, Y is a patient of X, an injury caused by Z is an attribute of Y, and impaired body part fn airway is an attribute of Y, then the statement Z is a subclass of burning or there exists W such that V is an instance of injuring, V is located at U, U is an instance of face, and Y is a patient of V has the modal force of likely |
|