Boxing
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 586-588 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 286-286 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 585-585 | Boxing e' uma sub-classe de Esporte |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 584-584 | Boxing e' uma sub-classe de ViolentContest |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11813-11813 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11812-11812 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11811-11811 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 400-402 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 592-598 |