| 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 is a subclass of game |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 89-89 | Archery is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 91-91 | Badminton is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 95-95 | Curling is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 97-97 | Cycle racing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 103-103 | Diving is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 112-112 | Ice skating is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 114-114 | Fencing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 116-116 | Figure skating is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 126-126 | Lacrosse is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 133-133 | Martial arts is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 184-184 | Swimming sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 186-186 | Squash sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 188-188 | Shooting sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 198-198 | Sailing sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 207-207 | Surfing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 221-221 | Kite surfing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 226-226 | Caving is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 229-229 | Skateboarding is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 232-232 | Rafting is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 236-236 | Fishing sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 239-239 | Table tennis is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 243-243 | Wrestling is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 245-245 | Horse racing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 496-496 | Rock climbing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 585-585 | Boxing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 600-600 | Gymnastics is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 772-772 | Bodybuilding is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 852-852 | Tennis is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 889-889 | Golf is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1061-1061 | Skiing is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1102-1102 | Bowling is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1181-1181 | Equitation is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1206-1206 | Water sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1317-1317 | Racquetball is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1336-1336 | Olympic games is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7535-7535 | Team sport is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7549-7549 | Racing is a subclass of sport |
|
|