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 31941-31944
(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 1689-1689
(subclass CargoShip Ship)	Mid-level-ontology.kif 31940-31940	CargoShip is a subclass of Ship

appearance as argument number 2

(names "freighter" CargoShip)	Transportation.kif 2490-2490	CargoShip has &ames$"name" "freighter"
(subclass BargeCarrierShip CargoShip)	Transportation.kif 2499-2499	BargeCarrierShip is a subclass of CargoShip
(subclass ChemicalTankerShip CargoShip)	Transportation.kif 2546-2546	ChemicalTankerShip is a subclass of CargoShip
(subclass CombinationBulkCarrierShip CargoShip)	Transportation.kif 2571-2571	CombinationBulkCarrierShip is a subclass of CargoShip
(subclass ContainerShip CargoShip)	Transportation.kif 2506-2506	ContainerShip is a subclass of CargoShip
(subclass DryBulkCarrierShip CargoShip)	Transportation.kif 2595-2595	DryBulkCarrierShip is a subclass of CargoShip
(subclass GeneralCargoShip CargoShip)	Transportation.kif 2489-2489	GeneralCargoShip is a subclass of CargoShip
(subclass LiquefiedGasTankerShip CargoShip)	Transportation.kif 2557-2557	LiquefiedGasTankerShip is a subclass of CargoShip
(subclass LivestockCarrierShip CargoShip)	Transportation.kif 2501-2501	LivestockCarrierShip is a subclass of CargoShip
(subclass MultifunctionalLargeLoadCarrierShip CargoShip)	Transportation.kif 2534-2534	MultifunctionalLargeLoadCarrierShip is a subclass of CargoShip
(subclass OceanLiner CargoShip)	Transportation.kif 2676-2676	OceanLiner is a subclass of CargoShip
(subclass PassengerAndCargoShip CargoShip)	Transportation.kif 2610-2610	PassengerAndCargoShip is a subclass of CargoShip
(subclass PetroleumTankerShip CargoShip)	Transportation.kif 2538-2538	PetroleumTankerShip is a subclass of CargoShip
(subclass RefrigeratedCargoShip CargoShip)	Transportation.kif 2511-2511	RefrigeratedCargoShip is a subclass of CargoShip
(subclass RollOnRollOffCargoShip CargoShip)	Transportation.kif 2514-2514	RollOnRollOffCargoShip is a subclass of CargoShip
(subclass SpecializedTankerShip CargoShip)	Transportation.kif 2604-2604	SpecializedTankerShip is a subclass of CargoShip
(termFormat ChineseLanguage CargoShip "货船")	domainEnglishFormat.kif 13244-13244	SpecializedTankerShip is a subclass of CargoShip
(termFormat ChineseTraditionalLanguage CargoShip "貨船")	domainEnglishFormat.kif 13243-13243	SpecializedTankerShip is a subclass of CargoShip
(termFormat EnglishLanguage CargoShip "cargo ship")	domainEnglishFormat.kif 13242-13242	SpecializedTankerShip is a subclass of CargoShip

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 31946-31955

If a physical is an instance of CargoShip,
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 ServiceProcess is an instance of WaterTransportationService and a cognitive agent provides a service during the ServiceProcess and CoastalAndGreatLakesFreightTransportation 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 ServiceProcess and the process is an instance of WaterTransportation and the object is an instrument for the process and the object is an instance of CargoShip and event located the process and the geographic area and the geographic area is an instance of water area and geographicSubregion the geographic area and UnitedStates
(=> (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 ServiceProcess is an instance of WaterTransportationService and a cognitive agent provides a service during the ServiceProcess and DeepSeaFreightTransportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the ServiceProcess and the process is an instance of WaterTransportation and the object is an instrument for the process and the object is an instance of CargoShip and event located the process and WorldOcean

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: