| Ordering(ordering) | | Presidential_Directive, adjure, appointed, armed_forces_censorship, ask, ban, bar, behest, bid, bidding, call_back, call_up, censoring, censorship, charge, cite, civil_censorship, claim, clamor, clamp, coercion, command, commandment, commission, compel, conjuration, conjuring, conjury, conscription, countermand, debar, decree, decreed, demand, demandingly, designate, destine, determined, dictate, dictated, dictation, direct, direction, directive, disallow, dispossession, doom, draft, dragoon, enjoin... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3267-3269 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13322-13325 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13321-13321 | Ordering is a subclass of directing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17609-17609 | Legal summons is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1657-1657 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1200-1200 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1617-1617 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 878-878 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 411-411 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 414-414 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2562-2562 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 830-830 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 416-416 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 450-450 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 709-709 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 899-899 | Operation order is a subclass of ordering |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 415-415 | Operation order is a subclass of ordering |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13327-13331 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15658-15663 |
|
|
|
|