| (subclass Contest SocialInteraction) | Merge.kif 13324-13324 | |
| (subclass MusicContest Contest) | Music.kif 1002-1002 | |
| (subclass Debating Contest) | Mid-level-ontology.kif 19701-19701 | |
| (subclass Negotiating Contest) | Mid-level-ontology.kif 19708-19708 | |
| (subclass BusinessCompetition Contest) | Mid-level-ontology.kif 19721-19721 | |
| (subclass ViolentContest Contest) | Merge.kif 13344-13344 | |
| (subclass Game Contest) | Merge.kif 13394-13394 | |
| (subclass LegalAction Contest) | Merge.kif 13403-13403 |
|
|