| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13451-13451 | 感知 是 心理过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13521-13521 | 看 是 感知 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13556-13556 | 嗅 是 感知 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13569-13569 | 尝 是 感知 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13582-13582 | 听 是 感知 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13631-13631 | 触觉 是 感知 的 subclass |
|
|