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