HighPrecisionWeapon - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HighPrecisionWeapon EnglishLanguage "A Weapon with high precision, designed to minimize collateral damage.")	MilitaryProcesses.kif 633-634
(subclass HighPrecisionWeapon Weapon)	MilitaryProcesses.kif 632-632	High precision weapon is a subclass of weapon

appearance as argument number 2

(termFormat ChineseLanguage HighPrecisionWeapon "高精度武器")	domainEnglishFormat.kif 28165-28165
(termFormat ChineseTraditionalLanguage HighPrecisionWeapon "高精度武器")	domainEnglishFormat.kif 28164-28164
(termFormat EnglishLanguage HighPrecisionWeapon "high precision weapon")	domainEnglishFormat.kif 28163-28163

antecedent

(=>
    (and
        (instance ?WEAPON HighPrecisionWeapon)
        (instrument ?DESTR ?WEAPON)
        (patient ?DESTR ?PATIENT))
    (hasPurpose ?WEAPON
        (not
            (exists (?DAMAGING ?DAMAGED)
                (and
                    (instance ?DAMAGING Damaging)
                    (subProcess ?DAMAGING ?DESTR)
                    (patient ?DAMAGING ?DAMAGED)
                    (not
                        (equal ?PATIENT ?DAMAGED)))))))

MilitaryProcesses.kif 641-654

If an object is an instance of high precision weapon and the object is an instrument for a process and an entity is a patient of the process,
then the object has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and the entity is not equal to the third entity

consequent

(=>
    (and
        (instance ?DESTR PreciseDestruction)
        (agent ?DESTR ?AGENT))
    (exists (?WEAPON)
        (and
            (possesses ?AGENT ?WEAPON)
            (instrument ?DESTR ?WEAPON)
            (instance ?WEAPON HighPrecisionWeapon))))

MilitaryProcesses.kif 601-609

If a process is an instance of precise destruction and an agent is an agent of the process,
then there exists an object such that the agent possesses the object and the object is an instrument for the process and the object is an instance of high precision weapon

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

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: