TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AntiArmorWeapon EnglishLanguage "A weapon designed to damage the armor of military vehicles or bunkers")	MilitaryDevices.kif 654-655
(externalImage AntiArmorWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 94/ TOW_fired_from_Jeep.jpg/ 250px-TOW_fired_from_Jeep.jpg")	pictureList.kif 1304-1304
(subclass AntiArmorWeapon Weapon)	MilitaryDevices.kif 653-653	Anti armor weapon is a subclass of weapon

appearance as argument number 2

(subclass AGM114 AntiArmorWeapon)	MilitaryDevices.kif 1205-1205	AG m114 is a subclass of anti armor weapon
(subclass AGM65 AntiArmorWeapon)	MilitaryDevices.kif 1138-1138	AG m65 is a subclass of anti armor weapon
(subclass AntiTankWeapon AntiArmorWeapon)	MilitaryDevices.kif 867-867	Anti tank weapon is a subclass of anti armor weapon
(subclass DragonWeapon AntiArmorWeapon)	MilitaryDevices.kif 669-669	Dragon weapon is a subclass of anti armor weapon
(subclass GAU12U AntiArmorWeapon)	MilitaryDevices.kif 299-299	GAU12U is a subclass of anti armor weapon
(subclass M242 AntiArmorWeapon)	MilitaryDevices.kif 264-264	M242 is a subclass of anti armor weapon
(subclass RPG AntiArmorWeapon)	MilitaryDevices.kif 1300-1300	RPG is a subclass of anti armor weapon
(subclass SMAWBunkerBuster AntiArmorWeapon)	MilitaryDevices.kif 779-779	SMAW bunker buster is a subclass of anti armor weapon
(termFormat ChineseLanguage AntiArmorWeapon "反装甲武器")	domainEnglishFormat.kif 7836-7836
(termFormat ChineseTraditionalLanguage AntiArmorWeapon "反裝甲武器")	domainEnglishFormat.kif 7835-7835
(termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon")	domainEnglishFormat.kif 7834-7834
(termFormat EnglishLanguage AntiArmorWeapon "anti-armor weapon")	MilitaryDevices.kif 2052-2052

antecedent

(=>
    (instance ?W AntiArmorWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?ARMOR)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?ARMOR)
                (instance ?ARMOR Armor)))))

MilitaryDevices.kif 659-667

If a physical is an instance of anti armor weapon,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of armor

consequent

(=>
    (instance ?MP AntiArmorPlatoon)
    (exists (?MG)
        (and
            (instance ?MG AntiArmorWeapon)
            (possesses ?MP ?MG))))

MilitaryPersons.kif 603-608

If an agent is an instance of anti armor platoon,
then there exists an object such that the object is an instance of anti armor weapon and the agent possesses the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: