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	子類南阿爾法語 and andamanese語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5472-5472	例 jarawa語言 and 南阿爾法語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5482-5482	例 onge語言 and 南阿爾法語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5491-5491	例哨兵語 and 南阿爾法語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54068-54068
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54067-54067
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54066-54066