No TPTP formula. May not be expressible in strict first order. |
Sports.kif 848-850 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6545-6545 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6025-6025 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 846-846 |
Football touchdown is a subclass of football maneuver |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 847-847 |
Football touchdown is a subclass of score |