| 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 |
|
|
| (subclass Ordering Directing) | Merge.kif 13358-13358 | Ordering is a subclass of directing |
| (documentation Ordering EnglishLanguage "A Directing in which the receiver is commanded to realize the content of a ContentBearingObject. Orders are injunctions, the disobedience of which involves sanctions, or which express an obligation upon the part of the orderee.") | Merge.kif 13359-13362 | Ordering is a subclass of directing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ORDER Ordering) (patient ?ORDER ?FORMULA)) (modalAttribute ?FORMULA Obligation)) |
Merge.kif 13364-13368 | If X is an instance of ordering and Y is a patient of X, then the statement Y has the modal force of obligation |
| (=> (and (instance ?ORDER Ordering) (result ?ORDER ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Order)) |
Mid-level-ontology.kif 15785-15790 | If X is an instance of ordering, Y is a result of X, and Y is an instance of sentence, then Y is an instance of order |
|
|
|