No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18257-18257 |
子類 執行 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18073-18073 |
子類 收穫 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22039-22039 |
子類 私刑 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18444-18444 |
子類 謀殺 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2800-2800 |
子類 偷獵 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18490-18490 |
子類 挨餓 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18455-18455 |
子類 令人窒息 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18275-18275 |
子類 自殺 and Killing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22092-22092 |
子類 自殺性爆炸事件 and Killing |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 243-243 |
子類 udhiyah儀式 and Killing |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1162-1162 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1541-1541 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 840-840 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 372-372 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 375-375 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2524-2524 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 792-792 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 377-377 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 411-411 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 861-861 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 376-376 |
|