TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AerialWarfare MilitaryOperation)	Military.kif 393-393	Aerial warfare is a subclass of military operation
(subclass AerialWarfare Attack)	Military.kif 394-394	Aerial warfare is a subclass of attack
(documentation AerialWarfare EnglishLanguage "AerialWarfare is the use of military aircraft and other flying machines in warfare. Modern aerial warfare includes Missiles and unmanned aerial vehicles. Surface forces are likely to respond to enemy air activity with AntiAircraftWarfare.[Wikipedia]")	Military.kif 395-398	Aerial warfare is a subclass of attack

appearance as argument number 2

(termFormat EnglishLanguage AerialWarfare "aerial warfare")

antecedent

(=>
    (instance ?W AerialWarfare)
    (hasPurpose ?W
        (exists (?A ?I)
            (and
                (instance ?A Attack)
                (instrument ?A ?I)
                (or
                    (instance ?I MilitaryAircraft)
                    (instance ?I Missile))))))

If X is an instance of aerial warfare, then X has the purpose there exist Y, Z such that Y is an instance of attack, Z is an instrument for Y, and Z is an instance of military aircraft or Z is an instance of missile

consequent

(=>
    (instance ?W AntiAircraftWarfare)
    (hasPurpose ?W
        (exists (?CLASS ?C)
            (and
                (subclass ?CLASS AerialWarfare)
                (prevents ?W ?CLASS)
                (instance ?C ?CLASS)
                (attribute ?C Enemy)))))

If X is an instance of anti-aircrraft warfare, then X has the purpose there exist Y, Z such that Y is a subclass of aerial warfare, X prevents the occurrence of Y, Z is an instance of Y, and enemy is an attribute of Z