TreeView Knowledge Base Browser - Pipeline

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	子類管道 and 公交專用道

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 797-797	子類原油管道 and 管道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 809-809	子類天然氣管道 and 管道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 821-821	子類石油產品管道 and 管道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 785-785	子類排污系統 and 管道
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

例 Object and 管道例 Process and Motion 儀器 Process and Object 患者 Process and Entity
例 Entity and 延期流體

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 685-692	LengthMeasure 是在地區 GeographicArea 的 total 管線 length 卡帕 SymbolicString and 例 SymbolicString and 管道位於 SymbolicString and GeographicArea and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	例 Collection and Organization attribute Collection and 管道運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity, entity and CognitiveAgentIPE 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Substance 擁有 Collection and entity 儀器 entity and CognitiveAgentIPE 例 CognitiveAgentIPE and 管道, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 694-702	測量 RealNumber and UnitOfMeasure 是在地區 GeographicArea 的 total 管線例 UnitOfMeasure and UnitOfLength 比較多 RealNumber and 0 Physical 例 Physical and 管道位於 Physical and GeographicArea

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