TreeView Knowledge Base Browser - AutomaticGun

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AutomaticGun

AutomaticGun(自動槍)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1560-1561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4517-4517
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1559-1559	子類自動槍 and 槍

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 927-927	子類加特林機槍 and 自動槍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 450-450	子類重機槍 and 自動槍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 358-358	子類 M240 and 自動槍
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 410-410	子類 M60 and 自動槍
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9180-9180
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9179-9179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9178-9178

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 1562-1577

例 Physical and 自動槍
有目的 Physical and entity entity, entity and entity 例 entity and 拉例 entity and 槍扳機患者 entity and entity 部分 entity and Physical 例 entity and Shooting 例 entity and Shooting 儀器 entity and Physical 儀器 entity and Physical 等於 entity and entity 原因 entity and entity 原因 entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Military.kif 676-685	例 AutonomousAgent and 步兵部隊 Object 例 Object and 自動槍例 Object and 火器例 Object and 迫擊砲例 Object and 爆炸性的礦井擁有 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1589-1594	例 Object and APC Object 例 Object and 自動槍部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1579-1590	例 Physical and 槍扳機有目的 Physical and entity entity and entity 例 entity and 自動槍部分 Physical and entity 患者 entity and Physical 例 entity and 拉例 entity and Shooting 儀器 entity and entity 原因 entity and entity

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