Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Weapon
Weapon

appearance as argument number 1
-------------------------


(documentation Weapon ChineseLanguage "人们设计这个 ClassDevice 主要是为了伤害或毁灭 Human/ AnimalStationaryArtifactHuman/ Animal 所居住的地方。") chinese_format.kif 3632-3633
(documentation Weapon EnglishLanguage "The Class of Devices that are designed primarily to damage or destroy Humans/ Animals, StationaryArtifacts or the places inhabited by Humans/ Animals.") Merge.kif 15742-15744
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg") pictureList.kif 1304-1304
(subclass Weapon Device) Merge.kif 15741-15741

appearance as argument number 2
-------------------------


(disjoint Furniture Weapon) Mid-level-ontology.kif 3665-3665
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 653-653
(subclass Bomb Weapon) Mid-level-ontology.kif 21281-21281
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 17249-17249
(subclass Gun Weapon) Mid-level-ontology.kif 1117-1117
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 632-632
(subclass Mortar Weapon) Mid-level-ontology.kif 21512-21512
(subclass NuclearWeapon Weapon) WMD.kif 131-131
(subclass Projectile Weapon) Mid-level-ontology.kif 1070-1070
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1088-1088
(subclass Spear Weapon) Mid-level-ontology.kif 1104-1104
(subclass Sword Weapon) Mid-level-ontology.kif 1108-1108
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1404-1404
(subclass Whip Weapon) Mid-level-ontology.kif 1112-1112
(termFormat ChineseLanguage Weapon "武器") chinese_format.kif 1059-1059
(termFormat EnglishLanguage Weapon "weapon") english_format.kif 1329-1329

appearance as argument number 3
-------------------------


(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24

antecedent
-------------------------


(=>
    (and
        (instance ?WEAPON Weapon)
        (part ?WEAPON ?MV)
        (instance ?MV Vehicle))
    (instance ?MV MilitaryVehicle))
MilitaryDevices.kif 61-66
(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))
Merge.kif 15746-15748
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 15750-15757

consequent
-------------------------


(=>
    (and
        (capability ?PC ?ROLE ?MV)
        (subclass ?PC Shooting))
    (exists (?WEAPON)
        (and
            (instance ?WEAPON Weapon)
            (part ?WEAPON ?MV)
            (capability ?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
(=>
    (instance ?C CSGas)
    (hasPurpose ?C
        (exists (?W)
            (and
                (instance ?W Weapon)
                (part ?C ?W)))))
MilitaryDevices.kif 1355-1361
(=>
    (instance ?DELIVER DeliveringWeaponOfMassDestruction)
    (exists (?PUTTING ?WEAPON1 ?WEAPON2)
        (and
            (instance ?PUTTING Putting)
            (subProcess ?PUTTING ?DELIVER)
            (instance ?WEAPON1 WeaponOfMassDestruction)
            (instance ?WEAPON2 Weapon)
            (not
                (instance ?WEAPON2 WeaponOfMassDestruction))
            (patient ?PUTTING ?WEAPON1)
            (destination ?PUTTING ?WEAPON2))))
WMD.kif 707-718
(=>
    (instance ?S Shield)
    (hasPurpose ?S
        (exists (?P ?H)
            (and
                (instance ?P Protecting)
                (instrument ?P ?S)
                (instance ?H Human)
                (patient ?P ?H)
                (prevents ?P
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?W)
                                (and
                                    (instance ?W Weapon)
                                    (instrument ?I ?W)))
                            (=>
                                (patient ?I ?H)
                                (not
                                    (patient ?P ?H))))))))))
Mid-level-ontology.kif 1427-1447


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