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 13345-13346
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12148-12148
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12146-12146
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12147-12147
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10332-10332
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13344-13344	子類 ViolentContest and Contest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13373-13373	子類 Battle and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Sports.kif 584-584	子類拳擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21848-21848	子類化學攻擊 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 21934-21934	子類燃燒裝置攻擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21976-21976	子類刀攻擊 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 13876-13876	子類政治革命 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22075-22075	子類亂石 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 22134-22134	子類車輛攻擊 and ViolentContest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13348-13348	子類 War and ViolentContest
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1209-1209
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1635-1635
No TPTP formula. May not be expressible in strict first order.	french_format.kif 887-887
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 420-420
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 423-423
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2571-2571
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 425-425
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 459-459
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 908-908
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 424-424

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 13464-13471	例 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 698-715	例 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 9746-9754	持有期間 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 13424-13429	例 Process and 攻擊 Process 例 Process and ViolentContest 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13387-13392	例 Process and Battle Process 例 Process and ViolentContest 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13446-13451	例 Process and 防守機動 Process 例 Process and ViolentContest 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16684-16686	例 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 22617-22622	例 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: