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	AntiArmorWeapon ist eine teilkategorie von Weapon

appearance as argument number 2

(subclass AGM114 AntiArmorWeapon)	MilitaryDevices.kif 1205-1205	AGM114 ist eine teilkategorie von AntiArmorWeapon
(subclass AGM65 AntiArmorWeapon)	MilitaryDevices.kif 1138-1138	AGM65 ist eine teilkategorie von AntiArmorWeapon
(subclass AntiTankWeapon AntiArmorWeapon)	MilitaryDevices.kif 867-867	AntiTankWeapon ist eine teilkategorie von AntiArmorWeapon
(subclass DragonWeapon AntiArmorWeapon)	MilitaryDevices.kif 669-669	DragonWeapon ist eine teilkategorie von AntiArmorWeapon
(subclass GAU12U AntiArmorWeapon)	MilitaryDevices.kif 299-299	GAU12U ist eine teilkategorie von AntiArmorWeapon
(subclass M242 AntiArmorWeapon)	MilitaryDevices.kif 264-264	M242 ist eine teilkategorie von AntiArmorWeapon
(subclass RPG AntiArmorWeapon)	MilitaryDevices.kif 1300-1300	RPG ist eine teilkategorie von AntiArmorWeapon
(subclass SMAWBunkerBuster AntiArmorWeapon)	MilitaryDevices.kif 779-779	SMAWBunkerBuster ist eine teilkategorie von AntiArmorWeapon
(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

Wenn Physical ist ein fall von AntiArmorWeapon %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von Damaging %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und ** ** entity ist ein fall von Armor %n{nicht} %n{nicht}

consequent

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

MilitaryPersons.kif 603-608

Wenn AutonomousAgent ist ein fall von AntiArmorPlatoon %n{nicht},
dann es gibt Object um ** Object ist ein fall von AntiArmorWeapon %n{nicht} und ** AutonomousAgent besitzt ** Object %n{nicht}

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: