No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15382-15382 |
不相交的 事實文本 and 虛構的文字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14925-14925 |
劃分 敘述文本, 虛構的文字 and 歷史記錄 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14950-14950 |
子類 戲劇性的表演 and 虛構的文字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14934-14934 |
子類 神秘的故事 and 虛構的文字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14945-14945 |
子類 小說 and 虛構的文字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14929-14929 |
子類 短篇故事 and 虛構的文字 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23612-23612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23611-23611 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23610-23610 |
|