Pipeline - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pipeline

Pipeline

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 774-775
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 874-874
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 773-773	Pipeline e' uma sub-classe de Transitway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 797-797	CrudeOilPipeline e' uma sub-classe de Pipeline
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 809-809	NaturalGasPipeline e' uma sub-classe de Pipeline
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 821-821	PetroleumProductPipeline e' uma sub-classe de Pipeline
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 785-785	SewageSystem e' uma sub-classe de Pipeline
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45900-45900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45899-45899
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45898-45898

antecedent

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

Transportation.kif 777-783

Objeto e' uma instancia de Pipeline Processo e' uma instancia de Movimento Objeto e' um instrumento para Processo Entidade e' um patient de Processo
Entidade e' uma instancia de a classe correspondente a Fluid

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	totalPipelineInArea Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento
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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 694-702	totalPipelineInArea Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que 0 Fisico Fisico e' uma instancia de Pipeline Fisico e' situado em Area Geografica

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