|
|
  PathologicalProcess
|
|
|
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1599-1599 | Epileptic seizure is a subclass of PathologicalProcess |
|
|
|