Injuring
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2925-2926 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10451-10453 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1675-1676 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10449-10449 | Blesser est une sous-classe de endommager |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10448-10448 | Blesser est une sous-classe de processus pathologique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10478-10478 | Empoisoner est une sous-classe de blesser |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1089-1089 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1389-1389 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 767-767 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 299-299 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 302-302 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2451-2451 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 719-719 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 304-304 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 338-338 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 788-788 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 303-303 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 104-111 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10462-10469 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10455-10460 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10471-10476 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 403-410 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 425-432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30695-30715 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1906-1921 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21381-21386 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1345-1353 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 828-844 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9388-9393 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3490-3517 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1472-1492 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6290-6298 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3566-3590 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3640-3664 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3363-3381 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3683-3712 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6283-6289 |