| ChemicalTankerShip(chemical tanker ship)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2554-2555 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1695-1695 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2547-2547 | Chemical tanker ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2548-2548 | Chemical tanker ship has &ames$"name" "chemical carrier" |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2556-2556 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14349-14349 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14348-14348 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14347-14347 | Chemical- oil tanker ship is a subclass of chemical tanker ship |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2550-2552 |
|
|
|
|