| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10180-10180 | Processo Fisiologico e' uma sub-classe de Processo Biologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10185-10185 | AutonomicProcess e' uma sub-classe de Processo Fisiologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10206-10206 | Processo Organico e' uma sub-classe de Processo Fisiologico |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | PhysiologicalResponseToEmotionalState e' uma sub-classe de Processo Fisiologico |
|
|