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 1700-1700 | BreathingAtAMoreRapidRate 是 呼吸 的 subclass |