|
|
   PhysiologicalResponseToEmotionalState
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1362-1366 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | PhysiologicalResponseToEmotionalState est une sous-classe de processus physiologique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1703-1703 | BecomingPale est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1695-1695 | Blushing est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1699-1699 | BreathingAtAMoreRapidRate est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1537-1537 | BreathingAtASlowerRate est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1707-1708 | ExperiencingALumpInTheThroat est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1580-1581 | ExperiencingDiscomfortInTheStomach est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1678-1678 | HeartBeatingAtFasterRate est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1539-1539 | HeartBeatingAtSlowerRate est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1661-1661 | LimbWeakening est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1447-1447 | MusclesBecomingTense est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1462-1462 | MusclesRelaxing est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1477-1477 | Perspiring est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1656-1656 | Shivering est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1546-1547 | TemperatureFallingExperiencedAsFeelingCold est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1565-1566 | TemperatureRisingExperiencedAsFeelingWarm est une sous-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1368-1369 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1371-1378 |
|
|
|
|