CargoShip - Sigma Knowledge base Browser

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 30320-30323
(externalImage CargoShip "http://articulatesoftware.com/SUMOpictures/transportation/ boats_1/ Cargo_Ship_08.png")	pictureList.kif 323-323
(externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg")	pictureList.kif 1690-1690
(subclass CargoShip Ship)	Mid-level-ontology.kif 30319-30319	Cargo ship is a subclass of ship

appearance as argument number 2

(names "freighter" CargoShip)	Transportation.kif 2485-2485	Cargo ship has name "freighter"
(subclass BargeCarrierShip CargoShip)	Transportation.kif 2494-2494	Barge carrier ship is a subclass of cargo ship
(subclass ChemicalTankerShip CargoShip)	Transportation.kif 2540-2540	Chemical tanker ship is a subclass of cargo ship
(subclass CombinationBulkCarrierShip CargoShip)	Transportation.kif 2564-2564	Combination bulk carrier ship is a subclass of cargo ship
(subclass ContainerShip CargoShip)	Transportation.kif 2501-2501	Container ship is a subclass of cargo ship
(subclass DryBulkCarrierShip CargoShip)	Transportation.kif 2587-2587	Dry bulk carrier ship is a subclass of cargo ship
(subclass GeneralCargoShip CargoShip)	Transportation.kif 2484-2484	General cargo ship is a subclass of cargo ship
(subclass LiquefiedGasTankerShip CargoShip)	Transportation.kif 2551-2551	Liquefied gas tanker ship is a subclass of cargo ship
(subclass LivestockCarrierShip CargoShip)	Transportation.kif 2496-2496	Livestock carrier ship is a subclass of cargo ship
(subclass MultifunctionalLargeLoadCarrierShip CargoShip)	Transportation.kif 2528-2528	Multifunctional large load carrier ship is a subclass of cargo ship
(subclass OceanLiner CargoShip)	Transportation.kif 2668-2668	Ocean liner is a subclass of cargo ship
(subclass PassengerAndCargoShip CargoShip)	Transportation.kif 2602-2602	Passenger and cargo ship is a subclass of cargo ship
(subclass PetroleumTankerShip CargoShip)	Transportation.kif 2532-2532	Petroleum tanker ship is a subclass of cargo ship
(subclass RefrigeratedCargoShip CargoShip)	Transportation.kif 2506-2506	Refrigerated cargo ship is a subclass of cargo ship
(subclass RollOnRollOffCargoShip CargoShip)	Transportation.kif 2509-2509	Roll on roll off cargo ship is a subclass of cargo ship
(subclass SpecializedTankerShip CargoShip)	Transportation.kif 2596-2596	Specialized tanker ship is a subclass of cargo ship
(termFormat ChineseLanguage CargoShip "货船")	domainEnglishFormat.kif 13252-13252	Specialized tanker ship is a subclass of cargo ship
(termFormat ChineseTraditionalLanguage CargoShip "貨船")	domainEnglishFormat.kif 13251-13251	Specialized tanker ship is a subclass of cargo ship
(termFormat EnglishLanguage CargoShip "cargo ship")	domainEnglishFormat.kif 13250-13250	Specialized tanker ship is a subclass of cargo ship

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 30325-30334

If a physical is an instance of cargo ship,
then there exist an entity and another entity such that the entity is an instance of shipping and the other entity is an instance of object and the physical has the purpose the physical is an instrument for the entity and the other entity is a patient of the entity

consequent

(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y CoastalAndGreatLakesFreightTransportation)) (exists (?FREIGHT ?SHIP ?WATER) (and (subProcess ?FREIGHT ?X) (instance ?FREIGHT WaterTransportation) (instrument ?FREIGHT ?SHIP) (instance ?SHIP CargoShip) (eventLocated ?FREIGHT ?WATER) (instance ?WATER WaterArea) (geographicSubregion ?WATER UnitedStates))))	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
(=> (and (instance ?X WaterTransportationService) (serviceProvider ?X ?Y) (attribute ?Y DeepSeaFreightTransportation)) (exists (?FREIGHT ?SHIP) (and (subProcess ?FREIGHT ?X) (instance ?FREIGHT WaterTransportation) (instrument ?FREIGHT ?SHIP) (instance ?SHIP CargoShip) (eventLocated ?FREIGHT WorldOcean))))	naics.kif 8139-8150	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea freight transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at world ocean

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: