Shooting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Shooting

Shooting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3046-3047
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11581-11583
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1814-1815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 728-728
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11579-11579	子類 Shooting and Impelling

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1126-1126
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1469-1469
No TPTP formula. May not be expressible in strict first order.	french_format.kif 804-804
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 336-336
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 339-339
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2488-2488
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 756-756
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 341-341
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 634-634
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 825-825
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 340-340

antecedent

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.	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 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 1336-1351	例 Process and Shooting 儀器 Process and Object 例 Object and 槍 Object Transfer and Object 例 Object and GunChamber 部分 Object and Object 例 Transfer and 插入例 Object and BulletCartridge 目的地 Transfer and Object objectTransferred Transfer and Object 之前結束何時 Transfer and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 179-188	例 Process and Shooting 儀器 Process and Object 例 Object and 火砲 Object 儀器 Process and Object 例 Object and 聯盟導彈 and 手榴彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 597-605	例 Process and Shooting 儀器 Process and Object 例 Object and 榴彈發射器 Object 儀器 Process and Object 例 Object and 手榴彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 198-206	例 Process and Shooting 儀器 Process and Object 例 Object and 迫擊砲 Object 儀器 Process and Object 例 Object and 手榴彈
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 219-228	例 Process and Shooting 儀器 Process and Object 患者 Process and Physical 寬度 Physical and LengthMeasure 例 Object and ObjectCLASS 例 Physical and 拋射物 LengthMeasure 是 ObjectCLASS 的 caliber 等於 LengthMeasure and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	軍車是對於 PositiveInteger 的 weapon 攜帶容量 Weapon 例 Object and Weapon 能力 Process, CaseRole and Object 子類 Process and Shooting 子類 Process and Damaging 能力 Process, CaseRole and 軍車
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1203-1210	例 Process and Shooting Entity Object 例 Entity and 拋射物患者 Process and Entity 例 Object and 拋射物發射器儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1234-1241	例 Process and Shooting Entity Object 例 Entity and 拋射物患者 Process and Entity 例 Object and 槍儀器 Process and Object

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 233-245	例 Physical and 拋射物 LengthMeasure 是槍的 caliber 例 Object and 槍寬度 Physical and LengthMeasure1 等於 LengthMeasure and LengthMeasure1 能力卡帕 SymbolicString and 例 SymbolicString and Shooting 患者 SymbolicString and Physical, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 250-262	例 Physical and 拋射物 LengthMeasure 是槍的 caliber 例 Physical and 槍寬度 Physical and LengthMeasure1 等於 LengthMeasure and LengthMeasure1 有目的 Physical and entity 例 entity and Shooting 患者 entity and Physical 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1249-1257	例 Physical and 子彈有目的 Physical and entity entity 例 entity and Shooting 儀器 entity and entity 例 entity and 槍患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1439-1454	例 Physical and Buttstock 有目的 Physical and entity entity, entity and entityH 例 entity and Longgun 部分 Physical and entity 例 entity and Shooting instument entity and entity agent entity and entity 例 entity and Human 部分 entityH and entity 例 entityH and 肩持有期間何時 entity and 空間的符合 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1792-1807	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1939-1947	例 Physical and Shotgun 有目的 Physical and entity entityHELL 例 entity and Shooting 儀器 entity and Physical 患者 entity and entityHELL 例 entityHELL and ShotShell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1879-1895	例 Physical and 火器有目的 Physical and entity entity and entity 例 entity and Human 子類 entity and Shooting 例 entity and entity objectTransferred entity and Physical 能力 entity, agent and entity entity 例 entity and Human 等於 entity and entity agent entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1230-1232	例 Object and 槍能力 Shooting, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1982-2006	例 Physical and Handgun 有目的 Physical and entity entity, entity, entity and entity 例 entity and Human 例 entity and Shooting 儀器 entity and Physical agent entity and entity 例 entity and 抓子過程 entity and entity 患者 entity and Physical agent entity and entity 儀器 entity and entity 例 entity and 手部分 entity and entity 模態屬性 entity 例 entity and 手等於 entity and entity 部分 entity and entity 儀器 entity and entity and 必要性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1903-1929	例 Physical and Longgun 有目的 Physical and entity entity 例 entity and Shooting 儀器 entity and Physical agent entity and entity 例 entity and Human 持有期間何時 entity and entity 例 entity and 抓 agent entity and entity 患者 entity and Physical 模態屬性 entity entity 例 entity and 手部分 entity and entity 例 entity and 手部分 entity and entity 等於 entity and entity 儀器 entity and entity 儀器 entity and entity and 必要性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1199-1201	例 Object and 拋射物發射器能力 Shooting, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1110-1112	例 Object and 拋射物能力 Shooting, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1132-1140	例 Physical and ShotShell 有目的 Physical and entity entity 例 entity and Shooting 儀器 entity and entity 例 entity and Shotgun 患者 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1213-1218	例 Process and SkeetShooting Process 例 Process and Shooting 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 203-208	例 Process and ShootingSport Process 例 Process and Shooting 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1809-1820	例 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 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