No TPTP formula. May not be expressible in strict first order. | Merge.kif 10393-10393 | 子類 PsychologicalProcess and BiologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16337-16337 | 子類 變得醉了 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16358-16358 | 子類 清醒來 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16374-16374 | 子類 沉沉睡去 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16390-16390 | 子類 起來 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16460-16460 | 子類 獲得意識 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16478-16478 | 子類 失去意識 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18229 | 子類 想像 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18244-18244 | 子類 可怕的 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | 子類 IntentionalPsychologicalProcess and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12180-12180 | 子類 Remembering and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13473-13473 | 子類 Perception and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18342-18342 | 子類 Sleeping and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 117-117 | 子類 EmotionalBehavioralProcess and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4446-4446 | 子類 Forgetting and PsychologicalProcess |