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


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 16046-16048
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 16045-16045 Arme est une sous-classe de appareil

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3713-3713 Furniture est disjoint de arme
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 653-653 AntiArmorWeapon est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21822-21822 Bomb est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17856-17856 ExplosiveMine est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1160-1160 Gun est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 632-632 HighPrecisionWeapon est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22054-22054 Mortar est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. WMD.kif 131-131 NuclearWeapon est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1113-1113 Projectile est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1131-1131 ProjectileLauncher est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1147-1147 Spear est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1151-1151 Sword est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1449-1449 WeaponOfMassDestruction est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1155-1155 Whip est une sous-classe de arme
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 Le nombre 2 argument de weaponCarryingCapability est une sous-classe de arme

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 16050-16052
No TPTP formula. May not be expressible in strict first order. Merge.kif 16054-16061

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