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 |
FootballTouchdown e' uma sub-classe de FootballManeuver |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 847-847 |
FootballTouchdown e' uma sub-classe de Score |