| CargoShip(cargo ship) | | Liberty_ship, banana_boat, bottom, cargo_ship, cargo_vessel, freighter, merchant_ship, merchantman |
| appearance as argument number 1 |
|
|
| (subclass CargoShip Ship) | Mid-level-ontology.kif 32624-32624 | Cargo ship is a subclass of ship |
| (documentation CargoShip EnglishLanguage "CargoShip is the subclass of Ships that transport goods in exchange for payment. CargoShip includes ships that carry all kinds of cargo, including oil and bulk products as well as packaged, palletized, or containerized goods.") | Mid-level-ontology.kif 32625-32628 | Cargo ship is a subclass of ship |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?F CargoShip) (exists (?T ?OBJ) (and (instance ?T Shipping) (instance ?OBJ Object) (hasPurpose ?F (and (instrument ?T ?F) (patient ?T ?OBJ)))))) |
Mid-level-ontology.kif 32630-32639 | If X is an instance of cargo ship, then there exist Y, Z such that Y is an instance of shipping, Z is an instance of object, X has the purpose X is an instrument for Y, and Z is a patient of Y |
|
|
|