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 30063-30066
(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 30062-30062	CargoShip は Ship の subclass では %n

appearance as argument number 2

(names "freighter" CargoShip)	Transportation.kif 2316-2316	CargoShip は "freighter" の name を持って %n{ない}
(subclass BargeCarrierShip CargoShip)	Transportation.kif 2325-2325	BargeCarrierShip は CargoShip の subclass では %n
(subclass ChemicalTankerShip CargoShip)	Transportation.kif 2371-2371	ChemicalTankerShip は CargoShip の subclass では %n
(subclass CombinationBulkCarrierShip CargoShip)	Transportation.kif 2395-2395	CombinationBulkCarrierShip は CargoShip の subclass では %n
(subclass ContainerShip CargoShip)	Transportation.kif 2332-2332	ContainerShip は CargoShip の subclass では %n
(subclass DryBulkCarrierShip CargoShip)	Transportation.kif 2418-2418	DryBulkCarrierShip は CargoShip の subclass では %n
(subclass GeneralCargoShip CargoShip)	Transportation.kif 2315-2315	GeneralCargoShip は CargoShip の subclass では %n
(subclass LiquefiedGasTankerShip CargoShip)	Transportation.kif 2382-2382	LiquefiedGasTankerShip は CargoShip の subclass では %n
(subclass LivestockCarrierShip CargoShip)	Transportation.kif 2327-2327	LivestockCarrierShip は CargoShip の subclass では %n
(subclass MultifunctionalLargeLoadCarrierShip CargoShip)	Transportation.kif 2359-2359	MultifunctionalLargeLoadCarrierShip は CargoShip の subclass では %n
(subclass OceanLiner CargoShip)	Transportation.kif 2483-2483	OceanLiner は CargoShip の subclass では %n
(subclass PassengerAndCargoShip CargoShip)	Transportation.kif 2433-2433	PassengerAndCargoShip は CargoShip の subclass では %n
(subclass PetroleumTankerShip CargoShip)	Transportation.kif 2363-2363	PetroleumTankerShip は CargoShip の subclass では %n
(subclass RefrigeratedCargoShip CargoShip)	Transportation.kif 2337-2337	RefrigeratedCargoShip は CargoShip の subclass では %n
(subclass RollOnRollOffCargoShip CargoShip)	Transportation.kif 2340-2340	RollOnRollOffCargoShip は CargoShip の subclass では %n
(subclass SpecializedTankerShip CargoShip)	Transportation.kif 2427-2427	SpecializedTankerShip は CargoShip の subclass では %n
(termFormat ChineseLanguage CargoShip "货船")	domainEnglishFormat.kif 13236-13236
(termFormat ChineseTraditionalLanguage CargoShip "貨船")	domainEnglishFormat.kif 13235-13235
(termFormat EnglishLanguage CargoShip "cargo ship")	domainEnglishFormat.kif 13234-13234

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 30068-30077

物理は CargoShip の instance では %n
エンティティーエンティティーエンティティーは交通手段の instance では %n エンティティーはオブジェクトの instance では %n 物理は物理はエンティティーの agent では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}

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	ServiceProcess は WaterTransportationService の instance では %n 認識エージェントは ServiceProcess の間サービスを provides %n{ない} CoastalAndGreatLakesFreightTransportation は認識エージェントの attribute では %n 工程オブジェクト and 地理的地域工程は ServiceProcess% の subprocess では %n 工程は WaterTransportation の instance では %n オブジェクトは工程の instrument では %n オブジェクトは CargoShip の instance では %n eventLocated 工程 and 地理的地域地理的地域は水域の instance では %n geographicSubregion 地理的地域 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	ServiceProcess は WaterTransportationService の instance では %n 認識エージェントは ServiceProcess の間サービスを provides %n{ない} DeepSeaFreightTransportation は認識エージェントの attribute では %n 工程オブジェクト工程は ServiceProcess% の subprocess では %n 工程は WaterTransportation の instance では %n オブジェクトは工程の instrument では %n オブジェクトは CargoShip の instance では %n eventLocated 工程 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: