TreeView Knowledge Base Browser - River

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - River

River(河)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5476-5477
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 878-878
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 912-912
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5474-5474	子類河 and 水體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5473-5473	子類河 and FreshWaterArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5472-5472	子類河 and StreamWaterArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5675-5675	不相交的溪 and 河
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 831-831	例哈德遜河 and 河
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 739-739	例密西西比河 and 河
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4241-4241	例紅河 and 河
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50096-50096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50095-50095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50094-50094

appearance as argument number 3

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

Geography.kif 5688-5688

域流出口, 2 and 河

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5678-5682	例 Object and 溪例 Object and 河較小 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	例河 and 河例 Object and 水體 Object 是河的 flows WaterArea 例 WaterArea and 河口 WaterArea 是河的 outfall 連接的 WaterArea and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	例 Object and 河 SelfConnectedObject 是對於交通類別 Object 的 trafficable 子類 SelfConnectedObject and 水車例 Object and 水路

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5533-5542	例 Object and 河流系統例 Object and StreamWaterArea 部分 Object and Object Object 例 Object and 河部分 Object and Object Object 是 Object 的 flows
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5498-5505	例 Object and 流水匯流 Object Object 例 Object and 河例 Object and StreamWaterArea Object 是 Object 的 flows 連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 856-862	例 Object and 河港 Object 例 Object and 河例 Object and 水路空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5639-5644	例 Object and 急流 Object 例 Object and 河部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5524-5531	例 Object and 河流系統 Object Object 例 Object and 河部分 Object and Object 例 Object and StaticWaterArea 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5517-5522	例 Object and 河流系統 Object 例 Object and 河部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5195-5200	例 Physical and 河口 Physical 例 Physical and 河 Physical 是 Physical 的 flows
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5761-5766	例 Object and 河岸 Object 例 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