TreeView Knowledge Base Browser - SouthAndamaneseLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5468-5469
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5467-5467	南阿尔法语是 andamanese语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5472-5472	Jarawa语言是南阿尔法语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5482-5482	Onge语言是南阿尔法语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5491-5491	哨兵语是南阿尔法语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54066-54066
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54065-54065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54064-54064