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 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 est une sous-classe de Ship

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


(names "freighter" CargoShip) Transportation.kif 2316-2316 CargoShip s'appele nom "freighter"
(subclass BargeCarrierShip CargoShip) Transportation.kif 2325-2325 BargeCarrierShip est une sous-classe de CargoShip
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2371-2371 ChemicalTankerShip est une sous-classe de CargoShip
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2395-2395 CombinationBulkCarrierShip est une sous-classe de CargoShip
(subclass ContainerShip CargoShip) Transportation.kif 2332-2332 ContainerShip est une sous-classe de CargoShip
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2418-2418 DryBulkCarrierShip est une sous-classe de CargoShip
(subclass GeneralCargoShip CargoShip) Transportation.kif 2315-2315 GeneralCargoShip est une sous-classe de CargoShip
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2382-2382 LiquefiedGasTankerShip est une sous-classe de CargoShip
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2327-2327 LivestockCarrierShip est une sous-classe de CargoShip
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2359-2359 MultifunctionalLargeLoadCarrierShip est une sous-classe de CargoShip
(subclass OceanLiner CargoShip) Transportation.kif 2483-2483 OceanLiner est une sous-classe de CargoShip
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2433-2433 PassengerAndCargoShip est une sous-classe de CargoShip
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2363-2363 PetroleumTankerShip est une sous-classe de CargoShip
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2337-2337 RefrigeratedCargoShip est une sous-classe de CargoShip
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2340-2340 RollOnRollOffCargoShip est une sous-classe de CargoShip
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2427-2427 SpecializedTankerShip est une sous-classe de CargoShip
(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

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