| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7033-7033 | SportsFacility e' uma sub-classe de Artefato Estacionario |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 580-580 | IceSkatingRink e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 590-590 | BoxingRing e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 673-673 | BaseballField e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 875-875 | TennisCourt e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 903-903 | GolfFacility e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 918-918 | GolfCourse e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1089-1089 | SkiingFacility e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1157-1157 | BowlingFacility e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1323-1323 | RacquetballCourt e' uma sub-classe de SportsFacility |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26796-26796 | ExerciseCenter e' uma sub-classe de SportsFacility |
|
|