| 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 1156-1156 |
BowlingFacility 是 体育设施 的 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. |
Mid-level-ontology.kif 26763-26763 |
ExerciseCenter 是 体育设施 的 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 903-903 |
GolfFacility 是 体育设施 的 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 1322-1322 |
RacquetballCourt 是 体育设施 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1088-1088 |
SkiingFacility 是 体育设施 的 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. |
domainEnglishFormat.kif 54750-54750 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54749-54749 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54748-54748 |
|
SportsFacility