| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | PhysiologicalResponseToEmotionalState 是 生理过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1447-1447 | MusclesBecomingTense 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1462-1462 | MusclesRelaxing 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1477-1477 | Perspiring 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1537-1537 | BreathingAtASlowerRate 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1539-1539 | HeartBeatingAtSlowerRate 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1546-1547 | TemperatureFallingExperiencedAsFeelingCold 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1565-1566 | TemperatureRisingExperiencedAsFeelingWarm 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1580-1581 | ExperiencingDiscomfortInTheStomach 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1656-1656 | Shivering 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1661-1661 | LimbWeakening 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1678-1678 | HeartBeatingAtFasterRate 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1695-1695 | 脸红 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1699-1699 | BreathingAtAMoreRapidRate 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1703-1703 | BecomingPale 是 PhysiologicalResponseToEmotionalState 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1707-1708 | ExperiencingALumpInTheThroat 是 PhysiologicalResponseToEmotionalState 的 subclass |
|
|