No TPTP formula. May not be expressible in strict first order. | Merge.kif 10194-10194 | Processus physiologique est une sous-classe de processus biologique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10199-10199 | AutonomicProcess est une sous-classe de processus physiologique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10220-10220 | Fonction physiologique est une sous-classe de processus physiologique |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique |