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


KB Term:  Term intersection
English Word: 

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 31941-31944
(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
(subclass CargoShip Ship) Mid-level-ontology.kif 31940-31940 CargoShip est une sous-classe de Ship

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


(names "freighter" CargoShip) Transportation.kif 2490-2490 CargoShip s'appele &ames$"nom" "freighter"
(subclass BargeCarrierShip CargoShip) Transportation.kif 2499-2499 BargeCarrierShip est une sous-classe de CargoShip
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2546-2546 ChemicalTankerShip est une sous-classe de CargoShip
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2571-2571 CombinationBulkCarrierShip est une sous-classe de CargoShip
(subclass ContainerShip CargoShip) Transportation.kif 2506-2506 ContainerShip est une sous-classe de CargoShip
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2595-2595 DryBulkCarrierShip est une sous-classe de CargoShip
(subclass GeneralCargoShip CargoShip) Transportation.kif 2489-2489 GeneralCargoShip est une sous-classe de CargoShip
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2557-2557 LiquefiedGasTankerShip est une sous-classe de CargoShip
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2501-2501 LivestockCarrierShip est une sous-classe de CargoShip
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2534-2534 MultifunctionalLargeLoadCarrierShip est une sous-classe de CargoShip
(subclass OceanLiner CargoShip) Transportation.kif 2676-2676 OceanLiner est une sous-classe de CargoShip
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2610-2610 PassengerAndCargoShip est une sous-classe de CargoShip
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2538-2538 PetroleumTankerShip est une sous-classe de CargoShip
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2511-2511 RefrigeratedCargoShip est une sous-classe de CargoShip
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2514-2514 RollOnRollOffCargoShip est une sous-classe de CargoShip
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2604-2604 SpecializedTankerShip est une sous-classe de CargoShip
(termFormat ChineseLanguage CargoShip "货船") domainEnglishFormat.kif 13244-13244 SpecializedTankerShip est une sous-classe de CargoShip
(termFormat ChineseTraditionalLanguage CargoShip "貨船") domainEnglishFormat.kif 13243-13243 SpecializedTankerShip est une sous-classe de CargoShip
(termFormat EnglishLanguage CargoShip "cargo ship") domainEnglishFormat.kif 13242-13242 SpecializedTankerShip est une sous-classe de CargoShip

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 31946-31955

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