TreeView Knowledge Base Browser - contestParticipant

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

contestParticipant

Sigma KEE - contestParticipant

contestParticipant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19681-19685
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19679-19679	比赛参与者的 1 数量是比赛的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19680-19680	比赛参与者的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19677-19677	比赛参与者是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19678-19678	比赛参与者是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19676-19676	比赛参与者是主事的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3098-3098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3097-3097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3096-3096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16956-16956
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16955-16955
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16954-16954

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	如果过程是封锁的 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.	Mid-level-ontology.kif 19725-19729	如果比赛是商业竞争的 instance 和施事体 participates 在那个比赛，然后那个施事体是法人财团的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1364-1371	如果属性是施事体的 attribute 和那个属性是 ProfessionalAthlete 的 instance，然后有存在比赛这样那个比赛是运动的 instance 和那个施事体 participates 在那个比赛
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	如果施事体 employs 有认知的主事和旅客住宿是那个施事体的 attribute 和 TennisProfessional 是那个有认知的主事的 attribute 和另一个有认知的主事是在那个施事体的 guest ，然后有存在实体和另一个实体这样那个实体是 Tennis 的 instance 和那个有认知的主事 participates 在那个实体和那个另外有认知的主事 participates 在那个实体和那个实体是 located 在那个另外实体和那个施事体是 located 在那个另外实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21775-21794	如果过程是封锁的 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.	Dining.kif 883-896	如果施事体 entered 客体在比赛，然后那个施事体 participates 在那个比赛和有存在过程，另一个施事体,，，另一个过程， and 和实体这样那个过程是制作的 instance 和那个客体是那个过程的 result 和那个施事体是那个过程的 agent 和那个另外过程是判断的 instance 和那个另外施事体是那个另外过程的 agent 和那个客体是那个另外过程的 patient 和那个另外施事体 believes 那个客体是那个实体是那个另外过程的 result 和那个另外过程%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8426-8434	如果军事单位是另一个军事单位的 hostile 力量，然后有存在比赛，地缘政治区域， and 和另一个地缘政治区域这样那个比赛是战争的 instance 和那个地缘政治区域 participates 在那个比赛和那个另外地缘政治区域 participates 在那个比赛和那个另外军事单位是那个地缘政治区域的 Government Organization 的一部分和那个军事单位是那个另外地缘政治区域的 Government Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Music.kif 1007-1020	如果比赛是 MusicContest 的 instance，然后有存在过程这样那个过程是判断的 instance 和对所有施事体如果那个施事体 participates 在那个比赛，然后有存在另一个过程这样那个施事体是那个另外过程的 agent 和那个另外过程是制作音乐的 instance 和那个另外过程%n是那个比赛的subProcess 和那个另外过程是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Music.kif 1027-1040	如果比赛是 SingingContest 的 instance，然后有存在过程这样那个过程是判断的 instance 和对所有施事体如果那个施事体 participates 在那个比赛，然后有存在另一个过程这样那个施事体是那个另外过程的 agent 和那个另外过程是唱歌的 instance 和那个另外过程%n是那个比赛的subProcess 和那个另外过程是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7538-7546	如果比赛是团队运动的 instance，然后有存在施事体和另一个施事体这样那个施事体 participates 在那个比赛和那个另外施事体 participates 在那个比赛和那个施事体是运动队的 instance 和那个另外施事体是运动队的 instance 和那个施事体不 equal 那个另外施事体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19691-19699	如果比赛是内战的 instance，然后有存在地缘政治区域这样那个地缘政治区域是国家的 instance 和对所有另一个地缘政治区域如果那个另外地缘政治区域 participates 在那个比赛，然后那个另外地缘政治区域是那个地缘政治区域的地缘政治部分
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	如果比赛是 Tennis 的 instance，然后有存在施事体和另一个施事体这样那个施事体 participates 在那个比赛和那个另外施事体 participates 在那个比赛和那个施事体不 equal 那个另外施事体和那个施事体是人类的 instance 或那个施事体是一群人的 instance 和 2 是那个施事体的 member 计数和那个另外施事体是人类的 instance 或那个另外施事体是一群人的 instance 和 2 是那个另外施事体的 member 计数

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