| FirstMate(first mate)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6012-6012 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6509-6509 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6510-6510 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6511-6511 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3280-3280 | First mate is a subattribute of ship mate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23960-23960 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23959-23959 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23958-23958 |
|
|
|