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 | 疏散 是 有意图过程 的 subclass |
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 |