Weapon - Sigma Knowledge base Browser

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	子類 Weapon and Device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3713-3713	不相交的家具 and Weapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 653-653	子類反裝甲武器 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21823-21823	子類炸彈 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17857-17857	子類爆炸性的礦井 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1160-1160	子類槍 and Weapon
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 632-632	子類高精度武器 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22055-22055	子類砂漿 and Weapon
No TPTP formula. May not be expressible in strict first order.	WMD.kif 131-131	子類核武器 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1113-1113	子類拋射物 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1131-1131	子類拋射物發射器 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1147-1147	子類矛 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1151-1151	子類劍 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1449-1449	子類大規模殺傷性武器 and Weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1155-1155	子類鞭子 and Weapon
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

域子類武器攜帶能力, 2 and Weapon

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 61-66	例 Object and Weapon 部分 Object and Object 例 Object and 車輛例 Object and 軍車
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16028-16030	例 Object and Weapon 能力 Damaging, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16032-16039	例 Physical and Weapon 有目的 Physical and entity entity 例 entity and Damaging 儀器 entity and Physical 患者 entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	能力 Process, CaseRole and Object 子類 Process and Shooting Object 例 Object and Weapon 部分 Object and Object 能力 Process, CaseRole and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1355-1361	例 Physical and CS氣有目的 Physical and entity 例 entity and Weapon 部分 Physical and entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 707-718	例 Process and 提供大規模殺傷性武器 Process Entity and Entity 例 Process and Putting 子過程 Process and Process 例 Entity and 大規模殺傷性武器例 Entity and Weapon 例 Entity and 大規模殺傷性武器患者 Process and Entity 目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1472-1492	例 Physical and 屏蔽有目的 Physical and entity entity and entity 例 entity and Protecting 儀器 entity and Physical 例 entity and Human 患者 entity and entity 防止 entity and 卡帕 entity and 例 entity and Injuring entity 例 entity and Weapon 儀器 entity and entity 患者 entity and entity 患者 entity and entity

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

KB Term:			Term intersection

English Word: