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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Weapon

Sigma KEE - Weapon
Weapon(arme)

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 16200-16202
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px_Marlin1894C.jpg") pictureList.kif 1303-1303
(subclass Weapon Device) Merge.kif 16199-16199 Arme est une sous-classe de appareil

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


(disjoint Furniture Weapon) Mid-level-ontology.kif 4156-4156 Furniture est disjoint de arme
(subclass Bomb Weapon) Mid-level-ontology.kif 23465-23465 Bomb est une sous-classe de arme
(subclass Gun Weapon) Mid-level-ontology.kif 1226-1226 Gun est une sous-classe de arme
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 632-632 HighPrecisionWeapon est une sous-classe de arme
(subclass LandMine Weapon) Mid-level-ontology.kif 19408-19408 LandMine est une sous-classe de arme
(subclass Mortar Weapon) Mid-level-ontology.kif 23698-23698 Mortar est une sous-classe de arme
(subclass NuclearWeapon Weapon) WMD.kif 131-131 NuclearWeapon est une sous-classe de arme
(subclass Projectile Weapon) Mid-level-ontology.kif 1106-1106 Projectile est une sous-classe de arme
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1197-1197 ProjectileLauncher est une sous-classe de arme
(subclass Spear Weapon) Mid-level-ontology.kif 1213-1213 Spear est une sous-classe de arme
(subclass Sword Weapon) Mid-level-ontology.kif 1217-1217 Sword est une sous-classe de arme
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1666-1666 WeaponOfMassDestruction est une sous-classe de arme
(subclass Whip Weapon) Mid-level-ontology.kif 1221-1221 Whip est une sous-classe de arme
(termFormat ChineseLanguage Weapon "武器") chinese_format.kif 1059-1059 Whip est une sous-classe de arme
(termFormat EnglishLanguage Weapon "weapon") english_format.kif 1329-1329 Whip est une sous-classe de arme
(termFormat FrenchLanguage Weapon "arme") french_format.kif 737-737 Whip est une sous-classe de arme
(termFormat Hindi Weapon "hathiyaara") terms-hindi.txt 268-268 Whip est une sous-classe de arme
(termFormat ItalianLanguage Weapon "Arma") terms-it.txt 271-271 Whip est une sous-classe de arme
(termFormat JapaneseLanguage Weapon "武器") japanese_format.kif 2421-2421 Whip est une sous-classe de arme
(termFormat PortugueseLanguage Weapon "Arma") portuguese_format.kif 689-689 Whip est une sous-classe de arme
(termFormat cb Weapon "hinagiban") terms-cb.txt 273-273 Whip est une sous-classe de arme
(termFormat cz Weapon "weapon") terms-cz.txt 307-307 Whip est une sous-classe de arme
(termFormat de Weapon "Waffe") terms-de.txt 566-566 Whip est une sous-classe de arme
(termFormat ro Weapon "armã") relations-ro.kif 758-758 Whip est une sous-classe de arme

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24 Le nombre 2 argument de weaponCarryingCapability est une sous-classe de arme

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 16204-16206
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 16208-16215

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 ?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 ?P MilitaryPlatform)
    (hasPurpose ?P
        (exists (?C ?W)
            (and
                (instance ?C Carrying)
                (instrument ?C ?P)
                (objectTransferred ?S ?W)
                (instance ?W Weapon)))))
Military.kif 130-138
(=>
    (instance ?S Shield)
    (hasPurpose ?S
        (exists (?P ?H ?I)
            (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 1689-1709
(=>
    (target ?A ?O)
    (exists (?W ?P)
        (and
            (instance ?W Weapon)
            (instrument ?A ?W)
            (instance ?P Projectile)
            (patient ?A ?P)
            (destination ?A ?O))))
MilitaryProcesses.kif 2792-2800


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