| Boxing(boxing)
| | boxing, boxing_match, fisticuffs, in-fighting, prize_fight, prizefight, professional_boxing, pugilism, sparring_match |
| 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 is a subclass of sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 584-584 | Boxing is a subclass of violent contest |
| 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 |
|
|
|
|