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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NuclearWeapon
NuclearWeapon(nuclear weapon)
A-bomb, H-bomb, atom_bomb, atomic_bomb, atomic_weapon, fission_bomb, fusion_bomb, hydrogen_bomb, megaton_bomb, nuclear_weapon, plutonium_bomb, thermonuclear_bomb

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 132-133
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1200-1200
No TPTP formula. May not be expressible in strict first order. WMD.kif 130-130 Nuclear weapon is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order. WMD.kif 134-134 Nuclear weapon is a subclass of radioactive weapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 131-131 Nuclear weapon is a subclass of weapon

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 648-648 Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1391-1391 Absolute dud is a subclass of nuclear weapon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41397-41397
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41396-41396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41395-41395

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 136-138

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 654-660
No TPTP formula. May not be expressible in strict first order. WMD.kif 666-671


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