TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Order Sentence)	Mid-level-ontology.kif 15887-15887	Order is a subclass of sentence
(documentation Order EnglishLanguage "A Sentence that expresses an order for something or that something be done.")	Mid-level-ontology.kif 15888-15889	Order is a subclass of sentence
(externalImage Order "http://upload.wikimedia.org/wikipedia/commons/c/ce/ Ordering_wine.jpg")	pictureList.kif 10173-10173	Order is a subclass of sentence
(externalImage Order "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Wiener_Zeitung_No296_25_12_1857_1.png")	pictureList.kif 11574-11574	Order is a subclass of sentence
(externalImage Order "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Order_establishing_the_USAF_Reserve.jpg")	pictureList.kif 11575-11575	Order is a subclass of sentence

appearance as argument number 2

(termFormat EnglishLanguage Order "order")	domainEnglishFormat.kif 42443-42443
(termFormat ChineseTraditionalLanguage Order "訂購")	domainEnglishFormat.kif 42444-42444
(termFormat ChineseLanguage Order "订购")	domainEnglishFormat.kif 42445-42445

consequent

(=>
    (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