| Foul(foul)
| | out-of-bounds |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19528-19530 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6034-6034 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19527-19527 | Foul is an instance of sports attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24800-24800 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24799-24799 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24798-24798 |
|
|
|