AbinomnLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 2924-2932
No TPTP formula. May not be expressible in strict first order.	Languages.kif 2923-2923	Abinomn language is an instance of spoken human language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5061-5061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5060-5060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5059-5059