| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1367-1367 | PhysiologicalResponseToEmotionalState e' uma sub-classe de Processo Fisiologico |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1447-1447 | MusclesBecomingTense e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1462-1462 | MusclesRelaxing e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1477-1477 | Perspiring e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1537-1537 | BreathingAtASlowerRate e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1539-1539 | HeartBeatingAtSlowerRate e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1546-1547 | TemperatureFallingExperiencedAsFeelingCold e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1565-1566 | TemperatureRisingExperiencedAsFeelingWarm e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1580-1581 | ExperiencingDiscomfortInTheStomach e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1656-1656 | Shivering e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1661-1661 | LimbWeakening e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1678-1678 | HeartBeatingAtFasterRate e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1695-1695 | Blushing e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1699-1699 | BreathingAtAMoreRapidRate e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1703-1703 | BecomingPale e' uma sub-classe de PhysiologicalResponseToEmotionalState |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1707-1708 | ExperiencingALumpInTheThroat e' uma sub-classe de PhysiologicalResponseToEmotionalState |
|
|