Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CargoShip
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 32700-32700 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 32701-32704 Cargo ship is a subclass of ship
(externalImage CargoShip "http://articulatesoftware.com/SUMOpictures/transportation/ boats_1/ Cargo_Ship_08.png") pictureList.kif 323-323 Cargo ship is a subclass of ship
(externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg") pictureList.kif 1689-1689 Cargo ship is a subclass of ship

appearance as argument number 2
-------------------------


(subclass GeneralCargoShip CargoShip) Transportation.kif 2505-2505 General cargo ship is a subclass of cargo ship
(names "freighter" CargoShip) Transportation.kif 2506-2506 Cargo ship has name "freighter"
(subclass BargeCarrierShip CargoShip) Transportation.kif 2515-2515 Barge carrier ship is a subclass of cargo ship
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2517-2517 Livestock carrier ship is a subclass of cargo ship
(subclass ContainerShip CargoShip) Transportation.kif 2522-2522 Container ship is a subclass of cargo ship
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2527-2527 Refrigerated cargo ship is a subclass of cargo ship
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2530-2530 Roll on roll off cargo ship is a subclass of cargo ship
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2550-2550 Multifunctional large load carrier ship is a subclass of cargo ship
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2554-2554 Petroleum tanker ship is a subclass of cargo ship
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2562-2562 Chemical tanker ship is a subclass of cargo ship
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2573-2573 Liquefied gas tanker ship is a subclass of cargo ship
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2587-2587 Combination bulk carrier ship is a subclass of cargo ship
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2611-2611 Dry bulk carrier ship is a subclass of cargo ship
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2620-2620 Specialized tanker ship is a subclass of cargo ship
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2626-2626 Passenger and cargo ship is a subclass of cargo ship
(subclass OceanLiner CargoShip) Transportation.kif 2727-2727 Ocean liner is a subclass of cargo ship
(termFormat EnglishLanguage CargoShip "cargo ship") domainEnglishFormat.kif 13242-13242 Ocean liner is a subclass of cargo ship
(termFormat ChineseTraditionalLanguage CargoShip "貨船") domainEnglishFormat.kif 13243-13243 Ocean liner is a subclass of cargo ship
(termFormat ChineseLanguage CargoShip "货船") domainEnglishFormat.kif 13244-13244 Ocean liner 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 32706-32715 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

consequent
-------------------------


(=>
    (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 X is an instance of Water Transportation Service, Y provides a service during X, and deep sea freight transportation is an attribute of Y, then there exist Z, W such that Z is a subprocess of X, Z is an instance of water transportation, W is an instrument for Z, W is an instance of cargo ship, and Z is located at world ocean
(=>
    (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 X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes freight transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of cargo ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states


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