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 31955-31958
(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 31954-31954 CargoShip est une sous-classe de Ship

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


(names "freighter" CargoShip) Transportation.kif 2491-2491 CargoShip s'appele &ames$"nom" "freighter"
(subclass BargeCarrierShip CargoShip) Transportation.kif 2500-2500 BargeCarrierShip est une sous-classe de CargoShip
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2547-2547 ChemicalTankerShip est une sous-classe de CargoShip
(subclass CombinationBulkCarrierShip CargoShip) Transportation.kif 2572-2572 CombinationBulkCarrierShip est une sous-classe de CargoShip
(subclass ContainerShip CargoShip) Transportation.kif 2507-2507 ContainerShip est une sous-classe de CargoShip
(subclass DryBulkCarrierShip CargoShip) Transportation.kif 2596-2596 DryBulkCarrierShip est une sous-classe de CargoShip
(subclass GeneralCargoShip CargoShip) Transportation.kif 2490-2490 GeneralCargoShip est une sous-classe de CargoShip
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2558-2558 LiquefiedGasTankerShip est une sous-classe de CargoShip
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2502-2502 LivestockCarrierShip est une sous-classe de CargoShip
(subclass MultifunctionalLargeLoadCarrierShip CargoShip) Transportation.kif 2535-2535 MultifunctionalLargeLoadCarrierShip est une sous-classe de CargoShip
(subclass OceanLiner CargoShip) Transportation.kif 2677-2677 OceanLiner est une sous-classe de CargoShip
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2611-2611 PassengerAndCargoShip est une sous-classe de CargoShip
(subclass PetroleumTankerShip CargoShip) Transportation.kif 2539-2539 PetroleumTankerShip est une sous-classe de CargoShip
(subclass RefrigeratedCargoShip CargoShip) Transportation.kif 2512-2512 RefrigeratedCargoShip est une sous-classe de CargoShip
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2515-2515 RollOnRollOffCargoShip est une sous-classe de CargoShip
(subclass SpecializedTankerShip CargoShip) Transportation.kif 2605-2605 SpecializedTankerShip est une sous-classe de CargoShip
(termFormat ChineseLanguage CargoShip "货船") domainEnglishFormat.kif 13245-13245 SpecializedTankerShip est une sous-classe de CargoShip
(termFormat ChineseTraditionalLanguage CargoShip "貨船") domainEnglishFormat.kif 13244-13244 SpecializedTankerShip est une sous-classe de CargoShip
(termFormat EnglishLanguage CargoShip "cargo ship") domainEnglishFormat.kif 13243-13243 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 31960-31969

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