ViolentContest - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3289-3290
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13428-13429
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12137-12137
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12135-12135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12136-12136
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10330-10330
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13427-13427	子類 ViolentContest and Contest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13456-13456	子類 Battle and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 596-596	子類拳擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23498-23498	子類化學攻擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 325-325	子類直接行動 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 389-389	子類直接行動活動 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23584-23584	子類燃燒裝置攻擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23626-23626	子類刀攻擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 421-421	子類軍事攻擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1644-1644	子類 PhysicalViolence and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15258-15258	子類政治革命 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23725-23725	子類亂石 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2092-2092	子類恐怖主義 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23784-23784	子類車輛攻擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13431-13431	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1209-1209	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1635-1635	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	french_format.kif 887-887	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 420-420	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 423-423	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2571-2571	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 425-425	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 459-459	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 718-718	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 908-908	子類 War and ViolentContest

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 57-62	例 Process and ViolentContest 儀器 Process and Object 例 Object and 生化武器例 Process and 生化攻擊
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13547-13554	例 Process and Maneuver 例 Process and ViolentContest 子過程 Process and Process 例 Process and 攻擊例 Process and 防守機動
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 686-703	例 Process and ViolentContest 患者 Process and Object attribute Object and InjuryCausedFn Process attribute Object and ImpairedBodyPartFn 空中航線模態屬性子類 Process and Combustion entity 例 entity and Injuring 位於 entity and entity 例 entity and 面對患者 entity and Object and 容易

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11096-11104	持有期間 TimeInterval and attribute Entity and PostTraumaticStressDisorder Process 例 Process and ViolentContest 早期何時 Process and TimeInterval Entity 是事件 Process 的 involved
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13507-13512	例 Process and 攻擊 Process 例 Process and ViolentContest 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13470-13475	例 Process and Battle Process 例 Process and ViolentContest 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13529-13534	例 Process and 防守機動 Process 例 Process and ViolentContest 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16788-16790	例 Object and 軍事力量能力 ViolentContest, agent and Object
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	例 Object and 維和部隊能力卡帕 SymbolicString and 例 SymbolicString and Process 例 entity and ViolentContest 防止 SymbolicString and entity, agent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24267-24272	例 AutonomousAgent and 恐怖組織 Process 例 Process and ViolentContest agent Process and AutonomousAgent

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

KB Term:			Term intersection

English Word: