Planning(planning) | ad-lib, ad_hoc, aforethought, applecart, arrange, arranged, automate, automatise, automatize, be_after, block_out, budget, budgetary, calculated, calculation, calendar, casual, casually, chance, chart, choreograph, city_planning, conceive, conceptualise, conceptualize, concert, configured, connect, conspirative, conspiratorial, contrive, dehumanise, dehumanize, deliberate, deliberation, design, designing, devise, digest, direct, dogfight, elaborate, embattle, engineer, extemporaneous, extemporaneously, extemporarily, extemporary, extempore, fix... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2975-2975 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10837-10838 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1734-1735 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6772-6772 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10835-10835 | Planning is a subclass of intentional psychological process |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16043-16043 | Choreographing is a subclass of planning |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1522-1522 | Operation planning is a subclass of planning |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1107-1107 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1431-1431 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 785-785 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 317-317 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 320-320 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2469-2469 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 737-737 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 322-322 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 356-356 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 806-806 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 321-321 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10840-10848 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16802-16810 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 32-44 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1470-1475 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15993-15999 |
|