| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13324-13324 | Contest e' uma sub-classe de Interacao Social |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1002-1002 | MusicContest e' uma sub-classe de Contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19701-19701 | Debating e' uma sub-classe de Contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19708-19708 | Negotiating e' uma sub-classe de Contest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19721-19721 | BusinessCompetition e' uma sub-classe de Contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13344-13344 | ViolentContest e' uma sub-classe de Contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13394-13394 | Jogo e' uma sub-classe de Contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13403-13403 | Acao Legal e' uma sub-classe de Contest |
|
|