| CargoShip
| |
| appearance as argument number 1 |
|
|
| (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 28260-28263 | |
| (externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg") | pictureList.kif 1691-1691 | |
| (externalImage CargoShip "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ boats_1/ Cargo_Ship_08.png") | pictureList.kif 323-323 | |
| (subclass CargoShip Ship) | Mid-level-ontology.kif 28259-28259 |
| appearance as argument number 2 |
|
|
| (names "freighter" CargoShip) | Transportation.kif 2305-2305 | |
| (subclass BargeCarrierShip CargoShip) | Transportation.kif 2314-2314 | |
| (subclass ChemicalTankerShip CargoShip) | Transportation.kif 2360-2360 | |
| (subclass CombinationBulkCarrierShip CargoShip) | Transportation.kif 2384-2384 | |
| (subclass ContainerShip CargoShip) | Transportation.kif 2321-2321 | |
| (subclass DryBulkCarrierShip CargoShip) | Transportation.kif 2407-2407 | |
| (subclass GeneralCargoShip CargoShip) | Transportation.kif 2304-2304 | |
| (subclass LiquefiedGasTankerShip CargoShip) | Transportation.kif 2371-2371 | |
| (subclass LivestockCarrierShip CargoShip) | Transportation.kif 2316-2316 | |
| (subclass MultifunctionalLargeLoadCarrierShip CargoShip) | Transportation.kif 2348-2348 | |
| (subclass OceanLiner CargoShip) | Transportation.kif 2462-2462 | |
| (subclass PassengerAndCargoShip CargoShip) | Transportation.kif 2422-2422 | |
| (subclass PetroleumTankerShip CargoShip) | Transportation.kif 2352-2352 | |
| (subclass RefrigeratedCargoShip CargoShip) | Transportation.kif 2326-2326 | |
| (subclass RollOnRollOffCargoShip CargoShip) | Transportation.kif 2329-2329 | |
| (subclass SpecializedTankerShip CargoShip) | Transportation.kif 2416-2416 | |
| (termFormat ChineseLanguage CargoShip "货船") | domainEnglishFormat.kif 13246-13246 | |
| (termFormat ChineseTraditionalLanguage CargoShip "貨船") | domainEnglishFormat.kif 13245-13245 | |
| (termFormat EnglishLanguage CargoShip "cargo ship") | domainEnglishFormat.kif 13244-13244 |
| antecedent |
|
|
| (=> (instance ?F CargoShip) (exists (?T ?OBJ) (and (instance ?T Transportation) (instance ?OBJ Object) (hasPurpose ?F (and (agent ?T ?F) (patient ?T ?OBJ)))))) |
Mid-level-ontology.kif 28265-28274 |
|
|
|