| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7033-7033 | SportsFacility est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 580-580 | IceSkatingRink est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 590-590 | BoxingRing est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 673-673 | BaseballField est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 875-875 | TennisCourt est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 903-903 | GolfFacility est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 918-918 | GolfCourse est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1089-1089 | SkiingFacility est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1157-1157 | BowlingFacility est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1323-1323 | RacquetballCourt est une sous-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26796-26796 | ExerciseCenter est une sous-classe de SportsFacility |
|
|