FootballTouchdown
|
|
appearance as argument number 1 |
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 | 子類 足球達陣 and 足球演練 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 847-847 | 子類 足球達陣 and 得分 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24608-24608 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24607-24607 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24606-24606 |