Ordering | ![]() |
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 12265-12268 | |
(subclass Ordering Directing) | Merge.kif 12264-12264 |
appearance as argument number 2 |
![]() |
(subclass LegalSummons Ordering) | Mid-level-ontology.kif 13896-13896 | |
(subclass OperationOrder Ordering) | MilitaryProcesses.kif 1638-1638 | |
(termFormat ChineseLanguage Ordering "命令") | chinese_format.kif 1200-1200 | |
(termFormat EnglishLanguage Ordering "ordering") | english_format.kif 1622-1622 |
antecedent |
![]() |
(=> (and (instance ?ORDER Ordering) (patient ?ORDER ?FORMULA)) (modalAttribute ?FORMULA Obligation)) |
Merge.kif 12270-12274 | |
(=> (and (instance ?ORDER Ordering) (result ?ORDER ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Order)) |
Mid-level-ontology.kif 11937-11942 |
![]() |
![]() |