No TPTP formula. May not be expressible in strict first order. | Sports.kif 609-609 | Baseball base is a subclass of game artifact |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 621-621 | Home base is a subclass of baseball base |