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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 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 21823-21823 Bomb est une sous-classe de arme
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17857-17857 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 22055-22055 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 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 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