TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Request Sentence)	Mid-level-ontology.kif 15876-15876	Request is a subclass of sentence
(documentation Request EnglishLanguage "A Sentence that expresses a request for something or that something be done.")	Mid-level-ontology.kif 15877-15878	Request is a subclass of sentence

appearance as argument number 2

(subclass FriendRequest Request)	Facebook.kif 593-593	Friend request is a subclass of request
(termFormat EnglishLanguage Request "request")	domainEnglishFormat.kif 49563-49563	Friend request is a subclass of request
(termFormat ChineseTraditionalLanguage Request "請求")	domainEnglishFormat.kif 49564-49564	Friend request is a subclass of request
(termFormat ChineseLanguage Request "请求")	domainEnglishFormat.kif 49565-49565	Friend request is a subclass of request

appearance as argument number 5

consequent

(=>
    (and
        (instance ?REQUEST Requesting)
        (result ?REQUEST ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Request))

If X is an instance of requesting, Y is a result of X, and Y is an instance of sentence, then Y is an instance of request