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