TreeView Knowledge Base Browser - SouthSandwichTrench

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7945-7945
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7947-7947
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7946-7946
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6882-6882
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4692-4692	南三明治溝是南部海洋的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4691-4691	例南三明治溝 and HoleRegion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54324-54324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54323-54323
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54322-54322