| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7005-7005 | 体育设施 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 580-580 | IceSkatingRink 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 590-590 | BoxingRing 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 673-673 | 棒球场 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 875-875 | TennisCourt 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 903-903 | GolfFacility 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 918-918 | GolfCourse 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1089-1089 | SkiingFacility 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1157-1157 | BowlingFacility 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1323-1323 | RacquetballCourt 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26751-26751 | ExerciseCenter 是 体育设施 的 subclass |
|
|