No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2436-2436 | Fishing ship is a subclass of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2438-2438 | Trawler is a subclass of fishing ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2439-2439 | Fish factory ship is a subclass of fishing ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2440-2440 | Fish carrier ship is a subclass of fishing ship |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2441-2441 | Fishing vessel is a subclass of fishing ship |