TreeView Knowledge Base Browser - CargoShip

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30063-30066
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 323-323
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1690-1690
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30062-30062	CargoShip e' uma sub-classe de Ship

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2316-2316	CargoShip se chama nome "freighter"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2325-2325	BargeCarrierShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2371-2371	ChemicalTankerShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2395-2395	CombinationBulkCarrierShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2332-2332	ContainerShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2418-2418	DryBulkCarrierShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2315-2315	GeneralCargoShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2382-2382	LiquefiedGasTankerShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2327-2327	LivestockCarrierShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2359-2359	MultifunctionalLargeLoadCarrierShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2483-2483	OceanLiner e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2433-2433	PassengerAndCargoShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2363-2363	PetroleumTankerShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2337-2337	RefrigeratedCargoShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2340-2340	RollOnRollOffCargoShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2427-2427	SpecializedTankerShip e' uma sub-classe de CargoShip
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13236-13236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13235-13235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13234-13234

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 30068-30077

Fisico e' uma instancia de CargoShip
Entidade Entidade Entidade e' uma instancia de Transporte Entidade e' uma instancia de Objeto Fisico tem por fim Entidade e' um agente de Fisico Entidade e' um patient de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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