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 19682-19686 | |
(domain contestParticipant 1 Contest) | Mid-level-ontology.kif 19680-19680 | 域 比賽參與者, 1 and Contest |
(domain contestParticipant 2 AutonomousAgent) | Mid-level-ontology.kif 19681-19681 | 域 比賽參與者, 2 and AutonomousAgent |
(instance contestParticipant CaseRole) | Mid-level-ontology.kif 19678-19678 | 例 比賽參與者 and CaseRole |
(instance contestParticipant TotalValuedRelation) | Mid-level-ontology.kif 19679-19679 | 例 比賽參與者 and TotalValuedRelation |
(subrelation contestParticipant agent) | Mid-level-ontology.kif 19677-19677 | 子關係 比賽參與者 and agent |
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 21776-21795 |
|
(=> (and (instance ?CONTEST BusinessCompetition) (contestParticipant ?CONTEST ?AGENT)) (instance ?AGENT Corporation)) |
Mid-level-ontology.kif 19726-19730 |
consequent |