NerveFiring |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1901-1908 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1899-1899 | 子類 NerveFiring and BiologicalProcess |
consequent |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|