PipelineTransportation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PipelineTransportation

PipelineTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8461-8463
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2291-2291
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1905-1905
No TPTP formula. May not be expressible in strict first order.	naics.kif 8459-8459	PipelineTransportation e' uma instancia de IndustryAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8502-8502	OtherPipelineTransportation e' um sub-atributo de PipelineTransportation
No TPTP formula. May not be expressible in strict first order.	naics.kif 8490-8490	PipelineTransportationOfCrudeOil e' um sub-atributo de PipelineTransportation
No TPTP formula. May not be expressible in strict first order.	naics.kif 8496-8496	PipelineTransportationOfNaturalGas e' um sub-atributo de PipelineTransportation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45906-45906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45905-45905
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45904-45904

antecedent

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

naics.kif 8465-8488

Colecao e' uma instancia de Organizacao PipelineTransportation e' um atributo de Colecao
AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade, Entidade and Agente CognitivoIPE Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Colecao possui Entidade Agente CognitivoIPE e' um instrumento para Entidade Agente CognitivoIPE e' uma instancia de Pipeline

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