No TPTP formula. May not be expressible in strict first order. | emotion.kif 1699-1699 | 子類 BreathingAtAMoreRapidRate and PhysiologicalResponseToEmotionalState |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1700-1700 | 子類 BreathingAtAMoreRapidRate and Breathing |