Projectile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Projectile

Projectile(拋射物)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1114-1115
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 678-678
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1113-1113	子類拋射物 and Weapon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1669-1669	子類箭射彈 and 拋射物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1182-1182	子類子彈 and 拋射物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1194-1194	子類 BulletCartridge and 拋射物
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 190-190	子類手榴彈 and 拋射物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17723-17723	子類導彈 and 拋射物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22074-22074	子類火箭 and 拋射物
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47660-47660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47659-47659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47658-47658

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1235-1247	例 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.	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.	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.	Mid-level-ontology.kif 1117-1119	例 Object and 拋射物能力 Shooting, 患者 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1372-1376	例 Process and 裝載武器患者 Process and Entity 例 Entity and 拋射物
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1138-1145	例 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 1169-1176	例 Process and Shooting Entity Object 例 Entity and 拋射物患者 Process and Entity 例 Object and 槍儀器 Process 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