No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16338-16338 |
子類 變得醉了 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. |
Mid-level-ontology.kif 16375-16375 |
子類 沉沉睡去 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4446-4446 |
子類 Forgetting and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18245-18245 |
子類 可怕的 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16461-16461 |
子類 獲得意識 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18230-18230 |
子類 想像 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10513-10513 |
子類 IntentionalPsychologicalProcess and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16479-16479 |
子類 失去意識 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13451-13451 |
子類 Perception and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12158-12158 |
子類 Remembering and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18320-18320 |
子類 Sleeping and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16359-16359 |
子類 清醒來 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16391-16391 |
子類 起來 and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1086-1086 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1383-1383 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 764-764 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 296-296 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 299-299 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2448-2448 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 716-716 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 335-335 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 785-785 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 300-300 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |