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

KB Term:  Term intersection
English Word: 

Sigma KEE - CargoShip
CargoShip

appearance as argument number 1
-------------------------


(subclass CargoShip Ship) Mid-level-ontology.kif 32670-32670
(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 32671-32674
(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 1689-1689

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


(subclass GeneralCargoShip CargoShip) Transportation.kif 2500-2500
(names "freighter" CargoShip) Transportation.kif 2501-2501
(subclass BargeCarrierShip CargoShip) Transportation.kif 2510-2510
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2512-2512
(subclass ContainerShip CargoShip) Transportation.kif 2517-2517
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2522-2522
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2525-2525
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2545-2545
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2549-2549
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2557-2557
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2568-2568
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2582-2582
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2606-2606
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2615-2615
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2621-2621
(subclass OceanLiner CargoShip) Transportation.kif 2723-2723
(termFormat EnglishLanguage CargoShip "cargo ship") domainEnglishFormat.kif 13242-13242
(termFormat ChineseTraditionalLanguage CargoShip "貨船") domainEnglishFormat.kif 13243-13243
(termFormat ChineseLanguage CargoShip "货船") domainEnglishFormat.kif 13244-13244

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 32676-32685

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 8136-8147
(=>
    (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 8181-8194


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners