| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13324-13324 | 子類 Contest and SocialInteraction |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1002-1002 | 子類 MusicContest and Contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19701-19701 | 子類 辯論 and Contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19708-19708 | 子類 談判 and Contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19721-19721 | 子類 商業競爭 and Contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13344-13344 | 子類 ViolentContest and Contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13394-13394 | 子類 Game and Contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13403-13403 | 子類 LegalAction and Contest |
|
|