| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7527-7532 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7523-7523 | 子類 運動隊 and 一群人 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 503-503 | 子類 BasketballTeam and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 505-505 | 子類 VolleyballTeam and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 507-507 | 子類 SoccerTeam and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 509-509 | 子類 RugbyTeam and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 511-511 | 子類 LacrosseTeam and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 513-513 | 子類 CarRacingTeam and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 514-514 | 子類 MotorcycleRacingTeam and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 750-750 | 子類 棒球隊 and 運動隊 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 843-843 | 子類 足球隊 and 運動隊 |
|
|