TreeView Knowledge Base Browser

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 30063-30066
(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 30062-30062	CargoShip ist eine teilkategorie von Ship

appearance as argument number 2

(names "freighter" CargoShip)	Transportation.kif 2316-2316	names "freighter" and CargoShip
(subclass BargeCarrierShip CargoShip)	Transportation.kif 2325-2325	BargeCarrierShip ist eine teilkategorie von CargoShip
(subclass ChemicalTankerShip CargoShip)	Transportation.kif 2371-2371	ChemicalTankerShip ist eine teilkategorie von CargoShip
(subclass CombinationBulkCarrierShip CargoShip)	Transportation.kif 2395-2395	CombinationBulkCarrierShip ist eine teilkategorie von CargoShip
(subclass ContainerShip CargoShip)	Transportation.kif 2332-2332	ContainerShip ist eine teilkategorie von CargoShip
(subclass DryBulkCarrierShip CargoShip)	Transportation.kif 2418-2418	DryBulkCarrierShip ist eine teilkategorie von CargoShip
(subclass GeneralCargoShip CargoShip)	Transportation.kif 2315-2315	GeneralCargoShip ist eine teilkategorie von CargoShip
(subclass LiquefiedGasTankerShip CargoShip)	Transportation.kif 2382-2382	LiquefiedGasTankerShip ist eine teilkategorie von CargoShip
(subclass LivestockCarrierShip CargoShip)	Transportation.kif 2327-2327	LivestockCarrierShip ist eine teilkategorie von CargoShip
(subclass MultifunctionalLargeLoadCarrierShip CargoShip)	Transportation.kif 2359-2359	MultifunctionalLargeLoadCarrierShip ist eine teilkategorie von CargoShip
(subclass OceanLiner CargoShip)	Transportation.kif 2483-2483	OceanLiner ist eine teilkategorie von CargoShip
(subclass PassengerAndCargoShip CargoShip)	Transportation.kif 2433-2433	PassengerAndCargoShip ist eine teilkategorie von CargoShip
(subclass PetroleumTankerShip CargoShip)	Transportation.kif 2363-2363	PetroleumTankerShip ist eine teilkategorie von CargoShip
(subclass RefrigeratedCargoShip CargoShip)	Transportation.kif 2337-2337	RefrigeratedCargoShip ist eine teilkategorie von CargoShip
(subclass RollOnRollOffCargoShip CargoShip)	Transportation.kif 2340-2340	RollOnRollOffCargoShip ist eine teilkategorie von CargoShip
(subclass SpecializedTankerShip CargoShip)	Transportation.kif 2427-2427	SpecializedTankerShip ist eine teilkategorie von CargoShip
(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 Transportation)
            (instance ?OBJ Object)
            (hasPurpose ?F
                (and
                    (agent ?T ?F)
                    (patient ?T ?OBJ))))))

Mid-level-ontology.kif 30068-30077

Wenn Physical ist ein fall von CargoShip %n{nicht},
dann es gibt Entity und ** Entity um ** Entity ist ein fall von Transportation %n{nicht} und ** ** Entity ist ein fall von Object %n{nicht} und ** Physical hat Zweck von ** Entity ist der agent von ** Physical %n{nicht} und ** ** Entity ist ein patient von ** Entity %n{nicht} %n{nicht}

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	Wenn ServiceProcess ist ein fall von WaterTransportationService %n{nicht} und serviceProvider ServiceProcess and CognitiveAgent und CoastalAndGreatLakesFreightTransportation ist ein attribut von CognitiveAgent %n{nicht}, dann es gibt Process, Object, and und GeographicArea um Process ist ein subProzess von ServiceProcess und Process ist ein fall von WaterTransportation %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von CargoShip %n{nicht} und eventLocated Process and GeographicArea und GeographicArea ist ein fall von WaterArea %n{nicht} und geographicSubregion GeographicArea and UnitedStates
(=> (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	Wenn ServiceProcess ist ein fall von WaterTransportationService %n{nicht} und serviceProvider ServiceProcess and CognitiveAgent und DeepSeaFreightTransportation ist ein attribut von CognitiveAgent %n{nicht}, dann es gibt Process und Object um Process ist ein subProzess von ServiceProcess und Process ist ein fall von WaterTransportation %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Object ist ein fall von CargoShip %n{nicht} und eventLocated ** Process and WorldOcean

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

KB Term:			Term intersection

English Word: