No TPTP formula. May not be expressible in strict first order. | Merge.kif 10180-10180 | 子類 PhysiologicProcess and BiologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | 子類 自主過程 and PhysiologicProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | 子類 OrganismProcess and PhysiologicProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | 子類 PhysiologicalResponseToEmotionalState and PhysiologicProcess |