| 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 |
|
|
| (documentation Ordering ChineseLanguage "这是一种 Directing，它要求听方实现 ContentBearingObject 的内容。命令就是禁制令，如果不服从会受到制裁，或者它表达了受命令者有义务 厉行所要求的事。") | chinese_format.kif 3267-3269 | |
| (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 13076-13079 | |
| (subclass Ordering Directing) | Merge.kif 13075-13075 | Ordering is a subclass of directing |
| appearance as argument number 2 |
|
|
| (subclass LegalSummons Ordering) | Mid-level-ontology.kif 16155-16155 | Legal summons is a subclass of ordering |
| (subclass OperationOrder Ordering) | MilitaryProcesses.kif 1657-1657 | Operation order is a subclass of ordering |
| (termFormat ChineseLanguage Ordering "命令") | chinese_format.kif 1200-1200 | |
| (termFormat EnglishLanguage Ordering "ordering") | english_format.kif 1617-1617 | |
| (termFormat FrenchLanguage Ordering "ordonner") | french_format.kif 878-878 | |
| (termFormat Hindi Ordering "kramabandhana") | terms-hindi.txt 411-411 | |
| (termFormat ItalianLanguage Ordering "Comandare") | terms-it.txt 412-412 | |
| (termFormat JapaneseLanguage Ordering "注文") | japanese_format.kif 2562-2562 | |
| (termFormat PortugueseLanguage Ordering "Ordenar") | portuguese_format.kif 830-830 | |
| (termFormat cb Ordering "pagsugo") | terms-cb.txt 416-416 | |
| (termFormat cz Ordering "ordering") | terms-cz.txt 450-450 | |
| (termFormat ro Ordering "comanda") | relations-ro.kif 899-899 | |
| (termFormat tg Ordering "pag-utos") | terms-tg.txt 415-415 |
| antecedent |
|
|
| (=> (and (instance ?ORDER Ordering) (patient ?ORDER ?FORMULA)) (modalAttribute ?FORMULA Obligation)) |
Merge.kif 13081-13085 |
|
| (=> (and (instance ?ORDER Ordering) (result ?ORDER ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Order)) |
Mid-level-ontology.kif 14220-14225 |
|
|
|
|