TreeView Knowledge Base Browser - WaterTransportation

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WaterTransportation

WaterTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17767-17768
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 833-833
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17766-17766	WaterTransportation e' uma sub-classe de Transporte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17783-17783	Rowing e' uma sub-classe de WaterTransportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7720-7720	Shipping e' uma sub-classe de WaterTransportation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62489-62489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62488-62488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62487-62487

antecedent

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

Mid-level-ontology.kif 17770-17777

Processo e' uma instancia de WaterTransportation
Objeto Objeto Objeto e' uma instancia de WaterVehicle Objeto e' uma instancia de Area Aquatica Objeto e' um instrumento para Processo eventLocated Processo and Objeto

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 8207-8225	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo CoastalAndGreatLakesPassengerTransportation 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 PassengerShip eventLocated Processo and Area Geografica Area Geografica e' uma instancia de Area Aquatica geographicSubregion Area Geografica and UnitedStates Entidade Entidade e' uma instancia de ShortSeaPassengerShip Objeto e' igual a Entidade
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
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	ServiceProcess e' uma instancia de WaterTransportationService serviceProvider ServiceProcess and Agente Cognitivo DeepSeaPassengerTransportation 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 PassengerShip eventLocated Processo and WorldOcean Entidade Entidade e' uma instancia de ShortSeaPassengerShip Objeto e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17779-17781	Objeto e' uma instancia de WaterVehicle Objeto e' capaz de fazer WaterTransportation no role instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 811-818	Processo e' uma instancia de LandingWaterLand Entidade Processo Entidade e' uma instancia de Area terrestre Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de WaterTransportation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5582-5588	Fisico e' uma instancia de Waterway Fisico tem por fim Entidade Entidade e' uma instancia de WaterTransportation Fisico e' o caminho ao longo do qual Entidade ocorre
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3437-3444	Processo e' uma instancia de WaterTransportationService Processo Objeto Processo e' uma instancia de WaterTransportation Objeto e' uma instancia de WaterVehicle Objeto e' um instrumento para Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5897-5905	maritimeHazard Fisico and Objeto Processo Objeto Processo e' uma instancia de WaterTransportation Objeto e' um instrumento para Processo eventLocated Processo and Objeto Fisico e' situado em Objeto hazardous Fisico and Objeto

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