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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Weapon

Sigma KEE - Weapon
Weapon(Arma)

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 16024-16026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1303-1303
No TPTP formula. May not be expressible in strict first order. Merge.kif 16023-16023 Arma e' uma sub-classe de Aparelho

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3713-3713 Furniture e' disjunto de Arma
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 653-653 AntiArmorWeapon e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21823-21823 Bomb e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17857-17857 ExplosiveMine e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1160-1160 Gun e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 632-632 HighPrecisionWeapon e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22055-22055 Mortar e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. WMD.kif 131-131 NuclearWeapon e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1113-1113 Projectile e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1131-1131 ProjectileLauncher e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1147-1147 Spear e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1151-1151 Sword e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1449-1449 WeaponOfMassDestruction e' uma sub-classe de Arma
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1155-1155 Whip e' uma sub-classe de Arma
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
No TPTP formula. May not be expressible in strict first order. french_format.kif 737-737
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 268-268
No TPTP formula. May not be expressible in strict first order. terms-it.txt 271-271
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2421-2421
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 689-689
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 273-273
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 307-307
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 758-758

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 24-24 O argumento numero 2 de weaponCarryingCapability e' uma sub-classe de Arma

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 16028-16030
No TPTP formula. May not be expressible in strict first order. Merge.kif 16032-16039

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 1472-1492


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