TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4631-4631	印度洋和波斯湾是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4630-4630	印度洋和南太平洋是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4632-4632	印度洋和南部海洋是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4628-4628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 514-514
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4625-4625	印度洋是海洋的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 586-586	法国南部和南极的土地是 located 在印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 136-136	Bassas da 印度接上印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 140-140	欧罗巴岛接上印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 142-142	Glorioso岛屿接上印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 144-144	听过岛屿和麦当劳群岛接上印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 146-146	胡安德诺瓦岛接上印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 148-148	马约特接上印度洋
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 150-150	特罗姆林岛接上印度洋
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4626-4626	印度洋的名是 "Indian Ocean"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29617-29617
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29616-29616
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29615-29615

antecedent

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

Weather.kif 627-646

statement

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

CountriesAndRegions.kif 588-588