Explosion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Explosion

Explosion(爆炸)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17230-17231
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 420-420
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17229-17229	子類爆炸 and Radiating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6258-6258	子類 ShrapnelExplosion and 爆炸
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22860-22860	子類 ShrapnelExplosion and 爆炸
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22859-22859	子類 ShrapnelExplosion and 爆炸
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22858-22858	子類 ShrapnelExplosion and 爆炸

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1409-1418	例 Process and 起飛患者 Process and Entity Process 例 Process and 爆炸患者 Process and Entity 例 Entity and 絕對的啞彈
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17240-17242	例 Object and 爆炸能力 Damaging, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17233-17238	例 Process and 爆炸 Process 例 Process and ChemicalProcess 原因 Process and Process

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	例 Object and Crankshaft 例 Object and IntermittentCombustionEngine 部分 Object and Object 有目的 Object and entity entity 例 entity and 爆炸例 entity and 旋轉患者 entity and Object entity 是 located 在 Object 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1398-1407	例 Entity and 絕對的啞彈例 Process and 起飛患者 Process and Entity Process 例 Process and 爆炸患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 491-500	例 TimeInterval and TwoStrokeCompression TimeInterval 是 located 在 Object 例 Object and TwoStrokeEngine TimeInterval 例 TimeInterval and 爆炸期間 TimeInterval and TimeInterval TimeInterval 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19404-19412	例 Physical and 爆炸裝置有目的 Physical and entity entity 例 entity and 爆炸儀器 entity and Physical 原因 entity and entity 例 entity and Damaging
No TPTP formula. May not be expressible in strict first order.	Cars.kif 280-289	例 Physical and IntermittentCombustionEngine 有目的 Physical and entity entity 例 entity and 爆炸例 entity and Motion entity 是 located 在 Physical entity 是 located 在 Physical 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19420-19438	例 Physical and 地雷有目的 Physical and entity entity, entity and entity 例 entity and LandArea 位於 Physical and entity 例 entity and 爆炸儀器 entity and Physical Physical 對於 entity 在時間何時 entity located 原因 entity and entity 例 entity and Motion entity 是 located 在 entity 起源 entity and entity 方位 entity, Physical and 上例 entity and Human 例 entity and 陸地車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1580-1582	例 Object and 槍粉能力爆炸, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19443-19445	例 Object and 爆炸性物質能力爆炸, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	例 Entity and Shrapnel Object Process 例 Object and 炸彈例 Process and 爆炸儀器 Process and Object 持有期間不久的過去何時 Process and 部分 Entity and Object 持有期間眼前的未來何時 Process and 部分 Entity 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