|
|
   Laceration
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Laceration EnglishLanguage "A cut or separation in the Skin that results in a Hole.") | Medicine.kif 6209-6210 | |
| (subclass Laceration Hole) | Medicine.kif 6208-6208 | Laceration は ホール の subclass では %n |
| antecedent |
|
|
| (=> (and (instance ?L Laceration) (instance ?S Skin) (equal ?S (HoleHostFn ?L)) (part ?S ?H)) (exists (?P) (and (instance ?P Poking) (result ?P ?L)))) |
Medicine.kif 6219-6228 |
|
| (=> (instance ?L Laceration) (exists (?S) (and (instance ?S Skin) (equal ?S (HoleHostFn ?L))))) |
Medicine.kif 6212-6217 |
|
|
|
|