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 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 货船 是 船 的 subclass

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


(names "freighter" CargoShip) Transportation.kif 2322-2322 货船 的名 是 "freighter"
(subclass BargeCarrierShip CargoShip) Transportation.kif 2331-2331 驳船运输船 是 货船 的 subclass
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2377-2377 化学品船 是 货船 的 subclass
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2401-2401 组合散装批货船 是 货船 的 subclass
(subclass ContainerShip CargoShip) Transportation.kif 2338-2338 集装箱船 是 货船 的 subclass
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2424-2424 干散货船 是 货船 的 subclass
(subclass GeneralCargoShip CargoShip) Transportation.kif 2321-2321 普通货船 是 货船 的 subclass
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2388-2388 液化气罐船 是 货船 的 subclass
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2333-2333 牲畜运输船 是 货船 的 subclass
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2365-2365 多功能大型承载船 是 货船 的 subclass
(subclass OceanLiner CargoShip) Transportation.kif 2505-2505 远洋班轮 是 货船 的 subclass
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2439-2439 客货船 是 货船 的 subclass
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2369-2369 石油油轮船 是 货船 的 subclass
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2343-2343 冷藏货船 是 货船 的 subclass
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2346-2346 滚上滚下货船 是 货船 的 subclass
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2433-2433 专业油轮 是 货船 的 subclass
(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 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