TonicClonicSeizure
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1625-1633 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1623-1623 | TonicClonicSeizure 是 Seizure 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1637-1637 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1636-1636 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1635-1635 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1639-1646 |