TreeView Knowledge Base Browser - AmamiOkinawanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11351-11352
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11350-11350	AmamiOkinawanLanguage e' uma sub-classe de RyukyuanLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11356-11356	NorthernAmamiOkinawanLanguage e' uma sub-classe de AmamiOkinawanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11414-11414	SouthernAmamiOkinawanLanguage e' uma sub-classe de AmamiOkinawanLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7086-7086
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7085-7085
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7084-7084