| PusherTug
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11685-11685 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11684-11684 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10210-10210 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11683-11683 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2454-2454 | PusherTug e' uma sub-classe de TugBoat |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48202-48202 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48201-48201 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48200-48200 |
|
|
|