| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13324-13324 | Contest is a subclass of social interaction |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1002-1002 | Music contest is a subclass of contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19701-19701 | Debating is a subclass of contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19708-19708 | Negotiating is a subclass of contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19721-19721 | Business competition is a subclass of contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13344-13344 | Violent contest is a subclass of contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13394-13394 | Game is a subclass of contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13403-13403 | Legal action is a subclass of contest |
|
|