No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18256-18256 |
执行 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18072-18072 |
收获 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22038-22038 |
私刑 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18443-18443 |
谋杀 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2800-2800 |
偷猎 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18489-18489 |
挨饿 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18454-18454 |
令人窒息 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18274-18274 |
自杀 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22091-22091 |
自杀性爆炸事件 是 杀害 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 243-243 |
Udhiyah仪式 是 杀害 的 subclass |
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 |
|