No TPTP formula. May not be expressible in strict first order. | Merge.kif 13302-13302 | 比赛 是 社交 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1002-1002 | MusicContest 是 比赛 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19702-19702 | 辩论 是 比赛 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19709-19709 | 谈判 是 比赛 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19722-19722 | 商业竞争 是 比赛 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13322-13322 | 暴力比赛 是 比赛 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13372-13372 | 游戏 是 比赛 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13381-13381 | 法律诉讼 是 比赛 的 subclass |