| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | Physiological response to emotion process is a subclass of physiologic process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1447-1447 | Muscles becoming tense is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1462-1462 | Muscles relaxing is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1477-1477 | Sweating is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1537-1537 | Breathing at a slower rate is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1539-1539 | Heart beating at slower rate is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1546-1547 | Temperature falling (experienced as feeling cold) is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1565-1566 | Temperature rising (experienced as feeling warm) is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1580-1581 | Experiencing discomfort in the stomach is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1656-1656 | Shivering is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1661-1661 | Limb weakening is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1678-1678 | Heart beating at faster rate is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1695-1695 | Blushing is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1699-1699 | Breathing at a more rapid rate is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1703-1703 | Becoming pale is a subclass of physiological response to emotion process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1707-1708 | Experiencing a lump in the throat is a subclass of physiological response to emotion process |
|
|