No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12785-12785 |
创作 和 摧毁 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21815-21815 |
纵火 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21819-21819 |
轰炸 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2433-2433 |
ClosingGraphicalWindow 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12291-12291 |
杀害 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 590-590 |
精确破坏 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22121-22121 |
人为破坏 是 摧毁 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1161-1161 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1539-1539 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 839-839 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 371-371 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 374-374 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2523-2523 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 791-791 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 376-376 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 410-410 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 860-860 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 375-375 |
|