contestParticipant |
appearance as argument number 1 |
(documentation contestParticipant EnglishLanguage "(contestParticipant ?CONTEST ?AGENT) means that ?AGENT is one of the sides in the Contest ?CONTEST. For example, if the ?CONTEST is a football game, then ?AGENT would be one of the opposing teams. For another example, if ?CONTEST is a Battle, then ?AGENT would be one of the sides fighting each other.") | Mid-level-ontology.kif 19709-19713 | |
(domain contestParticipant 1 Contest) | Mid-level-ontology.kif 19707-19707 | 比赛参与者 的 1 数量 是 比赛 的 instance |
(domain contestParticipant 2 AutonomousAgent) | Mid-level-ontology.kif 19708-19708 | 比赛参与者 的 2 数量 是 施事体 的 instance |
(instance contestParticipant CaseRole) | Mid-level-ontology.kif 19705-19705 | 比赛参与者 是 格角色 的 instance |
(instance contestParticipant TotalValuedRelation) | Mid-level-ontology.kif 19706-19706 | 比赛参与者 是 总值关系 的 instance |
(subrelation contestParticipant agent) | Mid-level-ontology.kif 19704-19704 | 比赛参与者 是 主事 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage contestParticipant "%2 participates 在 %1 ") | domainEnglishFormat.kif 3098-3098 | |
(format ChineseTraditionalLanguage contestParticipant "%2 participates 在 %1 ") | domainEnglishFormat.kif 3097-3097 | |
(format EnglishLanguage contestParticipant "%2 participates in %1") | domainEnglishFormat.kif 3096-3096 | |
(termFormat ChineseLanguage contestParticipant "比赛参与者") | domainEnglishFormat.kif 16956-16956 | |
(termFormat ChineseTraditionalLanguage contestParticipant "比賽參與者") | domainEnglishFormat.kif 16955-16955 | |
(termFormat EnglishLanguage contestParticipant "contest participant") | domainEnglishFormat.kif 16954-16954 |
antecedent |
(=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C))))))) |
Mid-level-ontology.kif 21828-21847 |
|
(=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation)) |
Mid-level-ontology.kif 19753-19757 |
consequent |