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 10429-10431 | |
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 10427-10427 | 子類 Injuring and Damaging |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10426-10426 | 子類 Injuring and PathologicProcess |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10456-10456 | 子類 Poisoning and Injuring |
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 10440-10447 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10433-10438 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10449-10454 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 |
|
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 3531-3552 |
|
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 30707-30727 |
|
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 21382-21387 | |
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 9389-9394 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3482-3509 |
|
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 3558-3582 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3632-3656 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3355-3373 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3675-3704 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6284-6290 |