No TPTP formula. May not be expressible in strict first order. | Merge.kif 13302-13302 | 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 19702-19702 | Debating is a subclass of contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19709-19709 | Negotiating is a subclass of contest |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19722-19722 | Business competition is a subclass of contest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13322-13322 | Violent contest is a subclass of contest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13372-13372 | Game is a subclass of contest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13381-13381 | Legal action is a subclass of contest |