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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Weapon
Weapon(weapon)
.22, ABM, Arma, 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, arme, armed, armory, armoury, arms, arquebus, arrowhead, arsenal...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16065-16066
No TPTP formula. May not be expressible in strict first order. Merge.kif 16062-16064
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1304-1304 "http://upload.wikimedia.org/wikipedia/en/thumb/8/8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg" is a URL depicting weapon
No TPTP formula. May not be expressible in strict first order. Merge.kif 16061-16061 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 4244-4244 Furniture is disjoint from weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 652-652 Anti armor weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19191-19191 Bomb is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15208-15208 Explosive mine is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1549-1549 Gun is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 621-621 High precision weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19420-19420 Mortar is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 130-130 Nuclear weapon is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1497-1497 Projectile is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1520-1520 Projectile launcher is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1536-1536 Spear is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1540-1540 Sword is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1825-1825 Weapon of mass destruction is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1544-1544 Whip is a subclass of weapon
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1059-1059 "武器" is the printable form of weapon in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 746-746 "weapon" is the printable form of weapon in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 737-737 "arme" is the printable form of weapon in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 268-268 "hathiyaara" is the printable form of weapon in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 269-269 "Arma" is the printable form of weapon in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 689-689 "Arma" is the printable form of weapon in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 273-273 "hinagiban" is the printable form of weapon in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 307-307 "weapon" is the printable form of weapon in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 272-272 "sandata" is the printable form of weapon in tg

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. Merge.kif 16068-16070
No TPTP formula. May not be expressible in strict first order. Merge.kif 16072-16079

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 1354-1360
No TPTP formula. May not be expressible in strict first order. WMD.kif 702-711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1872-1892


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners