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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Weapon

Sigma KEE - Weapon
Weapon(weapon)
.22, ABM, BAR, BB_gun, BLU-82, Big_Blue, Bofors_gun, Bowie_knife, Bren, Bren_gun, Browning_automatic_rifle, Colt, Cupid's_bow, Exocet, Gatling_gun, ICBM, Kalashnikov, Lochaber_ax, Luger, MANPAD, Mauser, Minuteman, SAM, Spandau, Sten_gun, Stinger, V-1, aerial_torpedo, air-to-air, air-to-ground, air-to-surface, anti-submarine_rocket, antiaircraft, antiballistic_missile, antipersonnel, antisubmarine, antitank, arbalest, arbalist, arm, armament, armed, armory, armoury, arms, arquebus, arrowhead, arsenal, artillery, assault_gun...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3632-3633
No TPTP formula. May not be expressible in strict first order. Merge.kif 15742-15744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1304-1304
No TPTP formula. May not be expressible in strict first order. Merge.kif 15741-15741 Weapon is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3665-3665 Furniture is disjoint from weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 653-653 Anti armor weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21281-21281 Bomb is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17249-17249 Explosive mine is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1117-1117 Gun is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 632-632 High precision weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21512-21512 Mortar is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 131-131 Nuclear weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1070-1070 Projectile is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1088-1088 Projectile launcher is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1104-1104 Spear is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1108-1108 Sword is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1404-1404 Weapon of mass destruction is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1112-1112 Whip is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1059-1059
No TPTP formula. May not be expressible in strict first order. english_format.kif 1329-1329

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 24-24 The number 2 argument of weapon carrying capability is a subclass of weapon

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 61-66
No TPTP formula. May not be expressible in strict first order. Merge.kif 15746-15748
No TPTP formula. May not be expressible in strict first order. Merge.kif 15750-15757

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1355-1361
No TPTP formula. May not be expressible in strict first order. WMD.kif 707-718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1427-1447


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