TreeView Knowledge Base Browser - BusinessRequirementDocument

appearance as argument number 1

(subclass BusinessRequirementDocument Document)	UXExperimentalTerms.kif 2590-2590	Business requirement document is a subclass of document
(documentation BusinessRequirementDocument EnglishLanguage "A Document that containsInformation about a Plan for a subProcess of an instance of Experimenting.")	UXExperimentalTerms.kif 2594-2595	Business requirement document is a subclass of document

appearance as argument number 2

antecedent

(=>
    (instance ?BRD BusinessRequirementDocument)
    (exists (?PLAN ?BU ?PROC)
        (and
            (instance ?PLAN Plan)
            (instance ?BU Business)
            (instance ?PROC Process)
            (represents ?PLAN ?PROC)
            (wants ?BU ?PROC)
            (containsInformation ?BRD ?PLAN))))

If X is an instance of business requirement document, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of plan (3) Z is an instance of business (4) W is an instance of process (5) Y expresses W (6) Z wants W (7) X contains information Y