| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12253-12253 | Perspiring 是 Excreting 的 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 1480-1480 | Perspiring 是 液体运动 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1490-1490 | PerspiringHands 是 Perspiring 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1503-1503 | PerspiringWholeBody 是 Perspiring 的 subclass |
|
|