TreeView Knowledge Base Browser

appearance as argument number 1

(subclass JointOperation MilitaryOperation)	MilitaryProcesses.kif 1738-1738	Joint operation is a subclass of military operation
(subclass JointOperation Cooperation)	MilitaryProcesses.kif 1739-1739	Joint operation is a subclass of cooperation
(documentation JointOperation EnglishLanguage "A general term to describe military actions conducted by joint forces or by Service forces in relationships (e.g., support, coordinating authority) which, of themselves, do not create joint forces.")	MilitaryProcesses.kif 1740-1743	Joint operation is a subclass of cooperation
(externalImage JointOperation "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ WarGulf_photobox.jpg")	pictureList.kif 4903-4903	Joint operation is a subclass of cooperation
(externalImage JointOperation "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Iraq_header_2.jpg")	pictureList.kif 5022-5022	Joint operation is a subclass of cooperation

appearance as argument number 2

(subclass CivilAffairsOperation JointOperation)	MilitaryProcesses.kif 2229-2229	Civil affairs operation is a subclass of joint operation
(subclass CivilMilitaryOperation JointOperation)	MilitaryProcesses.kif 2291-2291	Civil military operation is a subclass of joint operation
(termFormat EnglishLanguage JointOperation "joint operation")	domainEnglishFormat.kif 31719-31719	Civil military operation is a subclass of joint operation
(termFormat ChineseTraditionalLanguage JointOperation "聯合行動")	domainEnglishFormat.kif 31720-31720	Civil military operation is a subclass of joint operation
(termFormat ChineseLanguage JointOperation "联合行动")	domainEnglishFormat.kif 31721-31721	Civil military operation is a subclass of joint operation

consequent

(=>
    (instance ?PLAN OPLAN)
    (exists (?OP)
        (and
            (represents ?PLAN ?OP)
            (instance ?OP JointOperation))))

If X is an instance of OPLAN, then there exists Y such that X expresses Y and Y is an instance of joint operation