GunBarrel - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GunBarrel

GunBarrel(槍管)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1290-1291
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1128-1128
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1289-1289	子類槍管 and EngineeringComponent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1388	每個 GunBore 是槍管的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1359-1359	每個 GunMuzzle 是槍管的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1462-1462	相關的內部概念 Forestock and 槍管
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1410	相關的內部概念 Gunstock and 槍管
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27112-27112	相關的內部概念 Gunstock and 槍管
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27111-27111	相關的內部概念 Gunstock and 槍管
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27110-27110	相關的內部概念 Gunstock and 槍管
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1325	GunChamber typically 是槍管的 part

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1300-1312	例 Object and 槍例 Object and 槍管部分 Object and Object 例 Process and Shooting 儀器 Process and Object 患者 Process and Entity 例 Entity and 拋射物 ProcessUB 子過程 ProcessUB and Process 路徑 ProcessUB and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2008-2018	例 Object and Handgun 例 Object and 槍管部分 Object and Object length Object and 測量 RealNumber and 英寸例 Object and Longgun 例 Object and 槍管部分 Object and Object length Object and 測量 RealNumber and 英寸少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1293-1298	例 Object and 槍管 Object 例 Object and 槍部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1361-1380	例 Process and Shooting 例 Object and 槍儀器 Process and Object Transfer ObjectB, Object, Object and Region 子過程 Transfer and Process 例 Transfer and Exiting Transfer 是 located 在 ObjectB 例 ObjectB and 槍管部分 ObjectB and Object objectTransferred Transfer and Object 例 Object and 子彈起源 Object and Object 例 Object and BulletCartridge 位於 Object and ObjectB 路徑 Transfer and ObjectB entrance Region and ObjectB 例 Region and GunMuzzle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2024-2038	例 Object and 手槍 Object Object 部分 Object and Object 例 Object and 槍管部分 Object and Object 例 Object and GunChamber Object 例 Object and GunChamber 部分 Object and Object 等於 Object and Object

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