Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 30087-30090
(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 30086-30086 Cargo ship is a subclass of ship

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


(names "freighter" CargoShip) Transportation.kif 2322-2322 Cargo ship has name "freighter"
(subclass BargeCarrierShip CargoShip) Transportation.kif 2331-2331 Barge carrier ship is a subclass of cargo ship
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2377-2377 Chemical tanker ship is a subclass of cargo ship
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2401-2401 Combination bulk carrier ship is a subclass of cargo ship
(subclass ContainerShip CargoShip) Transportation.kif 2338-2338 Container ship is a subclass of cargo ship
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2424-2424 Dry bulk carrier ship is a subclass of cargo ship
(subclass GeneralCargoShip CargoShip) Transportation.kif 2321-2321 General cargo ship is a subclass of cargo ship
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2388-2388 Liquefied gas tanker ship is a subclass of cargo ship
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2333-2333 Livestock carrier ship is a subclass of cargo ship
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2365-2365 Multifunctional large load carrier ship is a subclass of cargo ship
(subclass OceanLiner CargoShip) Transportation.kif 2505-2505 Ocean liner is a subclass of cargo ship
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2439-2439 Passenger and cargo ship is a subclass of cargo ship
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2369-2369 Petroleum tanker ship is a subclass of cargo ship
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2343-2343 Refrigerated cargo ship is a subclass of cargo ship
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2346-2346 Roll on roll off cargo ship is a subclass of cargo ship
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2433-2433 Specialized tanker ship is a subclass of cargo ship
(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 Shipping)
            (instance ?OBJ Object)
            (hasPurpose ?F
                (and
                    (instrument ?T ?F)
                    (patient ?T ?OBJ))))))
Mid-level-ontology.kif 30092-30101

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
(=>
    (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


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