| appearance as argument number 2 |
|
|
| (subclass Laceration Hole) | Medicine.kif 6223-6223 | Laceration is a subclass of hole |
| (termFormat EnglishLanguage Hole "hole") | Medicine.kif 6227-6227 | Laceration is a subclass of hole |
| (termFormat JapaneseLanguage Hole "ホール") | japanese_format.kif 2305-2305 | Laceration is a subclass of hole |
|
|