TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3850-3850	USVirginIslands 是美國的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3851-3851
No TPTP formula. May not be expressible in strict first order.	Media.kif 2601-2601	USVirginIslands 是維爾京群島的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Media.kif 2599-2599	例 USVirginIslands and 群島
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3852-3852	例 USVirginIslands and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order.	Media.kif 2603-2603	子集合 USVirginIslands and 維爾京群島

appearance as argument number 2

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

domainEnglishFormat.kif 65640-65640

appearance as argument number 3

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

Media.kif 2885-2885