Evacuation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2490-2497 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10976-10976 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10977-10977 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10978-10978 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10979-10979 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10980-10980 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10008-10008 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2489-2489 | Evacuation est une sous-classe de processus intentionnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22618-22618 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22617-22617 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22616-22616 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2835-2835 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2609-2623 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2542-2546 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 133-140 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2534-2538 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2591-2605 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2573-2587 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2554-2569 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2516-2530 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2501-2511 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 120-131 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6532-6543 |
|