TreeView Knowledge Base Browser - WorldOcean

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WorldOcean

WorldOcean(世界海洋)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4503-4506
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4952-4952
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4499-4499	例世界海洋 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4498-4498	例世界海洋 and SaltWaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3537-3537	在感興趣的範圍內國際水文組織 and 世界海洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4501-4501	名 "the ocean" and 世界海洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4500-4500	名 "world ocean" and 世界海洋
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63537-63537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63536-63536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63535-63535

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 深海貨運 Process Object 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 貨船 Process 是 located 在世界海洋
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	例服務 and WaterTransportationService 服務提供者服務 and CognitiveAgent attribute CognitiveAgent and 深海客運 Process Object 子過程 Process and 服務例 Process and 水運儀器 Process and Object 例 Object and 客船 Process 是 located 在世界海洋 Entity 例 Entity and 近海客船等於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4508-4510	例 Object and Continent 空間的符合 Object and 世界海洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4530-4532	例 Object and 海洋適當的部分 Object and 世界海洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4779-4781	例 Object and 海適當的部分 Object and 世界海洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5187-5193	例 Object and 河口 Object 例 Object and SaltWaterArea 部分 Object and 世界海洋連接的 Object and Object

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