| (subclass Contest SocialInteraction) | Merge.kif 13324-13324 | Contest is a subclass of social interaction |
| (subclass MusicContest Contest) | Music.kif 1002-1002 | Music contest is a subclass of contest |
| (subclass Debating Contest) | Mid-level-ontology.kif 19701-19701 | Debating is a subclass of contest |
| (subclass Negotiating Contest) | Mid-level-ontology.kif 19708-19708 | Negotiating is a subclass of contest |
| (subclass BusinessCompetition Contest) | Mid-level-ontology.kif 19721-19721 | Business competition is a subclass of contest |
| (subclass ViolentContest Contest) | Merge.kif 13344-13344 | Violent contest is a subclass of contest |
| (subclass Game Contest) | Merge.kif 13394-13394 | Game is a subclass of contest |
| (subclass LegalAction Contest) | Merge.kif 13403-13403 | Legal action is a subclass of contest |
|
|