TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass LegalSummons Ordering)	Mid-level-ontology.kif 17855-17855	Legal summons is a subclass of ordering
(subclass OperationOrder Ordering)	MilitaryProcesses.kif 1679-1679	Operation order is a subclass of ordering
(termFormat EnglishLanguage Ordering "ordering")	english_format.kif 1621-1621	Operation order is a subclass of ordering

antecedent

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

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