TreeView 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	暴力比赛是比赛的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13373-13373	战斗是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Sports.kif 584-584	拳击是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21848-21848	化学攻击是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 325-325	直接行动是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 389-389	直接行动活动是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21934-21934	燃烧装置攻击是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21976-21976	刀攻击是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 421-421	军事攻击是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1644-1644	PhysicalViolence 是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13876-13876	政治革命是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22075-22075	乱石是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2092-2092	恐怖主义是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22134-22134	车辆攻击是暴力比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13348-13348	战争是暴力比赛的 subclass
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	如果过程是暴力比赛的 instance 和客体是导致那个过程的 instrument 和那个客体是生化武器的 instance，然后那个过程是生化攻击的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13464-13471	如果过程是竞争招数的 instance 和另一个过程是暴力比赛的 instance 和那个过程%n是那个另外过程的subProcess，然后那个过程是攻击的 instance 或那个过程是防守机动的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	如果过程是暴力比赛的 instance 和客体是那个过程的 patient 和 InjuryCausedFn 另一个有点过程是那个客体的 attribute 和 ImpairedBodyPartFn 空中航线是那个客体的 attribute，然后另一个有点过程是燃烧的 subclass 或有存在实体这样另一个实体是受伤的 instance 和那个另外实体是 located 在第三实体和那个第三实体是面对的 instance 和那个客体是那个另外实体的 patient 的声明 has 容易的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9746-9754	如果 PostTraumaticStressDisorder 是实体的 attribute 在时距 holdsDuring，然后有存在过程这样那个过程是暴力比赛的 instance 和那个过程出现的 time 比那个时距发生的earlier 和那个实体是事件那个过程的 involved
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13424-13429	如果过程是攻击的 instance，然后有存在另一个过程这样那个另外过程是暴力比赛的 instance 和那个过程%n是那个另外过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13387-13392	如果过程是战斗的 instance，然后有存在另一个过程这样那个另外过程是暴力比赛的 instance 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13446-13451	如果过程是防守机动的 instance，然后有存在另一个过程这样那个另外过程是暴力比赛的 instance 和那个过程%n是那个另外过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16684-16686	如果客体是军事力量的 instance，然后那个客体能够担当主事的角色做暴力比赛
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	如果客体是维和部队的 instance，然后那个客体能够担当主事的角色做符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22617-22622	如果施事体是恐怖组织的 instance，然后有存在过程这样那个过程是暴力比赛的 instance 和那个施事体是那个过程的 agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: