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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CargoShip

 Sigma KEE - CargoShip
CargoShip

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 29441-29444
(externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg") pictureList.kif 1691-1691
(externalImage CargoShip "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ boats_1/ Cargo_Ship_08.png") pictureList.kif 323-323
(subclass CargoShip Ship) Mid-level-ontology.kif 29440-29440 subclass CargoShip and Ship

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


(names "freighter" CargoShip) Transportation.kif 2323-2323 names "freighter" and CargoShip
(subclass BargeCarrierShip CargoShip) Transportation.kif 2332-2332 subclass BargeCarrierShip and CargoShip
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2378-2378 subclass ChemicalTankerShip and CargoShip
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2402-2402 subclass CombinationBulkCarrierShip and CargoShip
(subclass ContainerShip CargoShip) Transportation.kif 2339-2339 subclass ContainerShip and CargoShip
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2425-2425 subclass DryBulkCarrierShip and CargoShip
(subclass GeneralCargoShip CargoShip) Transportation.kif 2322-2322 subclass GeneralCargoShip and CargoShip
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2389-2389 subclass LiquefiedGasTankerShip and CargoShip
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2334-2334 subclass LivestockCarrierShip and CargoShip
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2366-2366 subclass MultifunctionalLargeLoadCarrierShip and CargoShip
(subclass OceanLiner CargoShip) Transportation.kif 2490-2490 subclass OceanLiner and CargoShip
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2440-2440 subclass PassengerAndCargoShip and CargoShip
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2370-2370 subclass PetroleumTankerShip and CargoShip
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2344-2344 subclass RefrigeratedCargoShip and CargoShip
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2347-2347 subclass RollOnRollOffCargoShip and CargoShip
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2434-2434 subclass SpecializedTankerShip and CargoShip
(termFormat ChineseLanguage CargoShip "货船") domainEnglishFormat.kif 13239-13239
(termFormat ChineseTraditionalLanguage CargoShip "貨船") domainEnglishFormat.kif 13238-13238
(termFormat EnglishLanguage CargoShip "cargo ship") domainEnglishFormat.kif 13237-13237

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 29446-29455

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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