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 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	CargoShip e' uma sub-classe de Ship

appearance as argument number 2

(names "freighter" CargoShip)	Transportation.kif 2322-2322	CargoShip se chama nome "freighter"
(subclass BargeCarrierShip CargoShip)	Transportation.kif 2331-2331	BargeCarrierShip e' uma sub-classe de CargoShip
(subclass ChemicalTankerShip CargoShip)	Transportation.kif 2377-2377	ChemicalTankerShip e' uma sub-classe de CargoShip
(subclass CombinationBulkCarrierShip CargoShip)	Transportation.kif 2401-2401	CombinationBulkCarrierShip e' uma sub-classe de CargoShip
(subclass ContainerShip CargoShip)	Transportation.kif 2338-2338	ContainerShip e' uma sub-classe de CargoShip
(subclass DryBulkCarrierShip CargoShip)	Transportation.kif 2424-2424	DryBulkCarrierShip e' uma sub-classe de CargoShip
(subclass GeneralCargoShip CargoShip)	Transportation.kif 2321-2321	GeneralCargoShip e' uma sub-classe de CargoShip
(subclass LiquefiedGasTankerShip CargoShip)	Transportation.kif 2388-2388	LiquefiedGasTankerShip e' uma sub-classe de CargoShip
(subclass LivestockCarrierShip CargoShip)	Transportation.kif 2333-2333	LivestockCarrierShip e' uma sub-classe de CargoShip
(subclass MultifunctionalLargeLoadCarrierShip CargoShip)	Transportation.kif 2365-2365	MultifunctionalLargeLoadCarrierShip e' uma sub-classe de CargoShip
(subclass OceanLiner CargoShip)	Transportation.kif 2505-2505	OceanLiner e' uma sub-classe de CargoShip
(subclass PassengerAndCargoShip CargoShip)	Transportation.kif 2439-2439	PassengerAndCargoShip e' uma sub-classe de CargoShip
(subclass PetroleumTankerShip CargoShip)	Transportation.kif 2369-2369	PetroleumTankerShip e' uma sub-classe de CargoShip
(subclass RefrigeratedCargoShip CargoShip)	Transportation.kif 2343-2343	RefrigeratedCargoShip e' uma sub-classe de CargoShip
(subclass RollOnRollOffCargoShip CargoShip)	Transportation.kif 2346-2346	RollOnRollOffCargoShip e' uma sub-classe de CargoShip
(subclass SpecializedTankerShip CargoShip)	Transportation.kif 2433-2433	SpecializedTankerShip e' uma sub-classe de 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 Shipping)
            (instance ?OBJ Object)
            (hasPurpose ?F
                (and
                    (instrument ?T ?F)
                    (patient ?T ?OBJ))))))

Mid-level-ontology.kif 30092-30101

Fisico e' uma instancia de CargoShip
Entidade Entidade Entidade e' uma instancia de Shipping Entidade e' uma instancia de Objeto Fisico tem por fim Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade

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	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo CoastalAndGreatLakesFreightTransportation e' um atributo de Agente Cognitivo Processo Objeto and Area Geografica Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de CargoShip eventLocated Processo and Area Geografica Area Geografica e' uma instancia de Area Aquatica geographicSubregion Area Geografica 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	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo DeepSeaFreightTransportation e' um atributo de Agente Cognitivo Processo Objeto Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo Objeto e' uma instancia de CargoShip eventLocated Processo 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: