TreeView Knowledge Base Browser - Contest

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DevelopmentalAttribute

Sigma KEE - Contest

Contest(比赛)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3286-3288
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13303-13307
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10740-10740
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9958-9958
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10738-10738
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10742-10742
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10743-10743
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10737-10737
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10741-10741
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10739-10739
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13302-13302	比赛是社交的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 1049-1049	ContestFn 的 range 是比赛的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19722-19722	商业竞争是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19702-19702	辩论是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13372-13372	游戏是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13381-13381	法律诉讼是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Music.kif 1002-1002	MusicContest 是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19709-19709	谈判是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13322-13322	暴力比赛是比赛的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1208-1208
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1633-1633
No TPTP formula. May not be expressible in strict first order.	french_format.kif 886-886
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 419-419
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 422-422
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2570-2570
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 424-424
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 458-458
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 907-907
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 423-423

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 1082-1082	contestEntry 的 3 数量是比赛的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 879-879	contestObject 的 1 数量是比赛的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1063-1063	contestOrganizer 的 1 数量是比赛的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19680-19680	比赛参与者的 1 数量是比赛的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1105-1105	contestParticipantRepresentation 的 1 数量是比赛的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1047-1047	ContestFn 的 1 数量是比赛的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	如果过程是封锁的 instance 和比赛是比赛的 instance 和那个过程%n是那个比赛的subProcess 和施事体 participates 在那个比赛和那个施事体是那个过程的 agent，然后有存在那个比赛1 和有认知的主事这样那个比赛1 prevents 易位的发生和那个过程是那个比赛1 的 instance 和那个有认知的主事 participates 在那个比赛和那个施事体不 equal 那个有认知的主事和那个有认知的主事 desires 有存在另一个实体这样那个另外实体是那个比赛1 的 instance 和那个施事体是那个另外实体的 agent 和那个另外实体%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13309-13320	如果过程是比赛的 instance，然后有存在施事体，另一个施事体,，，公式， and 和另一个公式这样那个施事体是那个过程的 agent 和那个另外施事体是那个过程的 agent 和那个施事体在那个过程的目的是那个公式和那个另外施事体在那个过程的目的是那个另外公式和那个施事体不 equal 那个另外施事体和那个公式不 equal 那个另外公式

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	如果过程是非常规战争的 instance 和政府是那个过程的 agent 和那个政府不 equal 施事体和那个政府不 equal 地缘政治区域的 Government 和那个施事体是那个过程的 patient 和那个施事体是那个地缘政治区域的 resident 的 member 或那个施事体是那个地缘政治区域的 resident 的真正的子集，然后有存在另一个过程这样那个另外过程是比赛的 instance 和那个施事体是那个另外过程的 agent 和那个地缘政治区域的 Government 是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17392-17402	如果施事体有属性的 attribute 和那个属性是比赛属性的 instance，然后有存在过程这样那个过程是比赛的 instance 和那个施事体是那个过程的 agent 或那个施事体是那个过程的 patient 或那个施事体%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13391-13396	如果过程是竞争招数的 instance，然后有存在另一个过程这样那个另外过程是比赛的 instance 和那个过程%n是那个另外过程的subProcess

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