No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7535-7535 | 团队运动 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 93-93 | Cricket 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 118-118 | Hockey 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 120-120 | IceHockey 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 122-122 | Handball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 124-124 | Rugby 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 128-128 | Dodgeball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 153-153 | Netball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 156-156 | 英式足球比赛 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 241-241 | Volleyball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 604-604 | 棒球 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 768-768 | 篮球 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 807-807 | 美式足球赛 是 团队运动 的 subclass |