JOPESManual - Sigma Knowledge base Browser

appearance as argument number 1

(subclass JOPESManual ReferenceBook)	MilitaryProcesses.kif 1863-1863	JOPES manual is a subclass of reference book
(documentation JOPESManual EnglishLanguage "A manual for JOPES")	MilitaryProcesses.kif 1864-1864	JOPES manual is a subclass of reference book

appearance as argument number 2

(termFormat EnglishLanguage JOPESManual "Joint Operation Planning and Execution System Manual")	MilitaryProcesses.kif 3025-3025
(termFormat EnglishLanguage JOPESManual "JOPES manual")	domainEnglishFormat.kif 31767-31767
(termFormat ChineseTraditionalLanguage JOPESManual "JOPES手冊")	domainEnglishFormat.kif 31768-31768
(termFormat ChineseLanguage JOPESManual "JOPES手册")	domainEnglishFormat.kif 31769-31769

antecedent

(=>
    (instance ?MANUAL JOPESManual)
    (and
        (containsInformation ?MANUAL ?JOPES)
        (instance ?JOPES JOPES)))

If X is an instance of JOPES manual, then X contains information Y and Y is an instance of JOPES