No TPTP formula. May not be expressible in strict first order. | Merge.kif 10393-10393 | 心理过程 是 生物过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16337-16337 | 变得醉了 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16358-16358 | 清醒来 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16374-16374 | 沉沉睡去 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16390-16390 | 起来 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16460-16460 | 获得意识 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16478-16478 | 失去意识 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18229 | 想象 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18244-18244 | 可怕的 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | 有意图的心理过程 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12180-12180 | 记住 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13473-13473 | 感知 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18342-18342 | Sleeping 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 117-117 | EmotionalBehavioralProcess 是 心理过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4446-4446 | Forgetting 是 心理过程 的 subclass |