Ordering - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Ordering Directing)	Merge.kif 13483-13483
(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 13484-13487

appearance as argument number 2

(subclass LegalSummons Ordering)	Mid-level-ontology.kif 17855-17855
(subclass OperationOrder Ordering)	MilitaryProcesses.kif 1679-1679
(termFormat EnglishLanguage Ordering "ordering")	english_format.kif 1621-1621

antecedent

(=>
    (and
        (instance ?ORDER Ordering)
        (result ?ORDER ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Order))