| MerchantMarineShip(merchant marine ship)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1011-1016 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1846-1846 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2256-2256 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2255-2255 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1008-1008 | Merchant marine ship is a subclass of ship |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1010-1010 | Merchant marine ship has name "commercial vessel" |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1009-1009 | Merchant marine ship has name "merchant ship" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37069-37069 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37068-37068 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37067-37067 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1018-1022 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 961-965 |
|
|
|
|