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


KB Term:  Term intersection
English Word: 

Sigma KEE - CargoShip
CargoShip(cargo ship)

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


(subclass CargoShip Ship) Mid-level-ontology.kif 32733-32733 Cargo ship is a subclass of ship
(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 32734-32737 Cargo ship is a subclass of ship
(externalImage CargoShip "http://articulatesoftware.com/SUMOpictures/transportation/ boats_1/ Cargo_Ship_08.png") pictureList.kif 323-323 Cargo ship is a subclass of ship
(externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg") pictureList.kif 1689-1689 Cargo ship is a subclass of ship

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


(subclass GeneralCargoShip CargoShip) Transportation.kif 2495-2495 General cargo ship is a subclass of cargo ship
(names "freighter" CargoShip) Transportation.kif 2496-2496 Cargo ship has name "freighter"
(subclass BargeCarrierShip CargoShip) Transportation.kif 2505-2505 Barge carrier ship is a subclass of cargo ship
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2507-2507 Livestock carrier ship is a subclass of cargo ship
(subclass ContainerShip CargoShip) Transportation.kif 2512-2512 Container ship is a subclass of cargo ship
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2517-2517 Refrigerated cargo ship is a subclass of cargo ship
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2520-2520 Roll on roll off cargo ship is a subclass of cargo ship
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2540-2540 Multifunctional large load carrier ship is a subclass of cargo ship
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2544-2544 Petroleum tanker ship is a subclass of cargo ship
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2552-2552 Chemical tanker ship is a subclass of cargo ship
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2563-2563 Liquefied gas tanker ship is a subclass of cargo ship
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2577-2577 Combination bulk carrier ship is a subclass of cargo ship
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2601-2601 Dry bulk carrier ship is a subclass of cargo ship
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2610-2610 Specialized tanker ship is a subclass of cargo ship
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2616-2616 Passenger and cargo ship is a subclass of cargo ship
(subclass OceanLiner CargoShip) Transportation.kif 2717-2717 Ocean liner is a subclass of cargo ship
(termFormat EnglishLanguage CargoShip "cargo ship") domainEnglishFormat.kif 13242-13242 Ocean liner is a subclass of cargo ship
(termFormat ChineseTraditionalLanguage CargoShip "貨船") domainEnglishFormat.kif 13243-13243 Ocean liner is a subclass of cargo ship
(termFormat ChineseLanguage CargoShip "货船") domainEnglishFormat.kif 13244-13244 Ocean liner is a subclass of cargo ship

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 32739-32748 If X is an instance of cargo ship, then there exist Y, Z such that Y is an instance of shipping, Z is an instance of object, X has the purpose X is an instrument for Y, and Z is a patient of Y

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 If X is an instance of Water Transportation Service, Y provides a service during X, and deep sea freight transportation is an attribute of Y, then there exist Z, W such that Z is a subprocess of X, Z is an instance of water transportation, W is an instrument for Z, W is an instance of cargo ship, and Z is located at world ocean
(=>
    (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 If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes freight transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of cargo ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states


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