AndamaneseLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5360-5362
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8335-8335
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5359-5359	Andamanese语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5366-5366	伟大的安达曼语言是 andamanese语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5467-5467	南阿尔法语是 andamanese语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7416-7416
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7415-7415
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7414-7414