| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7528-7533 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13377-13377 | 子類 Sport and Game |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 89-89 | 子類 Archery and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 91-91 | 子類 Badminton and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 95-95 | 子類 Curling and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 97-97 | 子類 CycleRacing and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 103-103 | 子類 Diving and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 112-112 | 子類 IceSkating and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 114-114 | 子類 Fencing and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 116-116 | 子類 FigureSkating and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 126-126 | 子類 Lacrosse and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 133-133 | 子類 MartialArts and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 184-184 | 子類 SwimmingSport and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 186-186 | 子類 SquashSport and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 188-188 | 子類 ShootingSport and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 198-198 | 子類 SailingSport and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 207-207 | 子類 Surfing and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 221-221 | 子類 KiteSurfing and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 226-226 | 子類 Caving and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 229-229 | 子類 Skateboarding and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 232-232 | 子類 Rafting and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 236-236 | 子類 FishingSport and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 239-239 | 子類 TableTennis and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 243-243 | 子類 Wrestling and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 245-245 | 子類 HorseRacing and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 496-496 | 子類 RockClimbing and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 585-585 | 子類 拳擊 and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 600-600 | 子類 體操 and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 772-772 | 子類 健美運動 and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 852-852 | 子類 Tennis and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 889-889 | 子類 高爾夫球 and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1061-1061 | 子類 Skiing and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1102-1102 | 子類 Bowling and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1181-1181 | 子類 Equitation and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1206-1206 | 子類 WaterSport and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1317-1317 | 子類 Racquetball and Sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1336-1336 | 子類 奧運會 and Sport |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7535-7535 | 子類 團隊運動 and Sport |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7549-7549 | 子類 賽跑 and Sport |
|
|