FootballManeuver
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 816-816 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9228-9228 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6023-6023 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6543-6543 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9230-9230 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 815-815 | FootballManeuver e' uma sub-classe de Manobra |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 824-824 | FootballPass e' uma sub-classe de FootballManeuver |
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. | domainEnglishFormat.kif 24590-24590 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24589-24589 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24588-24588 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 817-822 |
|