No TPTP formula. May not be expressible in strict first order. | Sports.kif 815-815 | Football maneuver is a subclass of maneuver |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 824-824 | Football pass is a subclass of football maneuver |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 846-846 | Football touchdown is a subclass of football maneuver |
![]() |