TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DefensiveManeuver Maneuver)	Merge.kif 13730-13730	Defensive maneuver is a subclass of maneuver
(documentation DefensiveManeuver EnglishLanguage "A Maneuver in a ViolentContest where the agent attempts to avoid being damaged.")	Merge.kif 13731-13732	Defensive maneuver is a subclass of maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Cricket_forward_defensive.jpg")	pictureList.kif 9975-9975	Defensive maneuver is a subclass of maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Defensivetackle.jpg")	pictureList.kif 10816-10816	Defensive maneuver is a subclass of maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ f/ f0/ VICKpb.jpg")	pictureList.kif 10817-10817	Defensive maneuver is a subclass of maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ C-130J_Hercules%2C_Iraq%2C_2003.jpg")	pictureList.kif 10818-10818	Defensive maneuver is a subclass of maneuver
(externalImage DefensiveManeuver "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ C-130_Hercules_10.jpg")	pictureList.kif 10819-10819	Defensive maneuver is a subclass of maneuver

appearance as argument number 2

(subclass AntiAircraftWarfare DefensiveManeuver)	Military.kif 356-356	Anti-aircrraft warfare is a subclass of defensive maneuver
(termFormat EnglishLanguage DefensiveManeuver "defensive maneuver")	domainEnglishFormat.kif 18906-18906	Anti-aircrraft warfare is a subclass of defensive maneuver
(termFormat ChineseTraditionalLanguage DefensiveManeuver "防守機動")	domainEnglishFormat.kif 18907-18907	Anti-aircrraft warfare is a subclass of defensive maneuver
(termFormat ChineseLanguage DefensiveManeuver "防守机动")	domainEnglishFormat.kif 18908-18908	Anti-aircrraft warfare is a subclass of defensive maneuver

antecedent

(=> (instance ?DEFENSE DefensiveManeuver) (exists (?CONTEST) (and (instance ?CONTEST ViolentContest) (subProcess ?DEFENSE ?CONTEST))))	Merge.kif 13734-13739	If X is an instance of defensive maneuver, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y
(=> (and (instance ?DEFENSE DefensiveManeuver) (agent ?DEFENSE ?AGENT)) (hasPurposeForAgent ?DEFENSE ?AGENT (not (exists (?DAMAGE) (and (instance ?DAMAGE Damaging) (patient ?DAMAGE ?AGENT))))))	Merge.kif 13741-13750	If X is an instance of defensive maneuver and Y is an agent of X, then X has the purpose Y for there doesn't exist Z such that Z is an instance of damaging and Y is a patient of Z

consequent

(=>
    (and
        (instance ?MANEUVER Maneuver)
        (instance ?CONTEST ViolentContest)
        (subProcess ?MANEUVER ?CONTEST))
    (or
        (instance ?MANEUVER Attack)
        (instance ?MANEUVER DefensiveManeuver)))