TreeView Knowledge Base Browser

appearance as argument number 1

(subclass MilitaryAssault ViolentContest)	MilitaryProcesses.kif 421-421	Military assault is a subclass of violent contest
(subclass MilitaryAssault MilitaryOperation)	MilitaryProcesses.kif 422-422	Military assault is a subclass of military operation
(documentation MilitaryAssault EnglishLanguage "close fighting during the culmination of a military attack.")	MilitaryProcesses.kif 423-423	Military assault is a subclass of military operation

appearance as argument number 2

(subclass DirectAssault MilitaryAssault)	MilitaryProcesses.kif 425-425	Direct assault is a subclass of military assault
(termFormat EnglishLanguage MilitaryAssault "military assault")	domainEnglishFormat.kif 37559-37559	Direct assault is a subclass of military assault
(termFormat ChineseTraditionalLanguage MilitaryAssault "軍事攻擊")	domainEnglishFormat.kif 37560-37560	Direct assault is a subclass of military assault
(termFormat ChineseLanguage MilitaryAssault "军事攻击")	domainEnglishFormat.kif 37561-37561	Direct assault is a subclass of military assault

consequent

(=>
    (instance ?TANK MilitaryTank)
    (hasPurpose ?TANK
        (exists (?A ?M)
            (and
                (instance ?A Attack)
                (subProcess ?A ?M)
                (instance ?M MilitaryAssault)
                (instrument ?A ?TANK)))))

If X is an instance of military tank, then X has the purpose there exist Y, Z such that Y is an instance of attack, Y is a subprocess of Z, Z is an instance of military assault, and X is an instrument for Y