TreeView Knowledge Base Browser - SouthernAmamiOkinawanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11415-11417
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11414-11414	子類南部的amami沖繩語 and amami沖繩語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11420-11420	例中央沖繩語 and 南部的amami沖繩語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11428-11428	例 kunigami語言 and 南部的amami沖繩語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11442-11442	例 oki no erabu 語言 and 南部的amami沖繩語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11457-11457	例 yoron語言 and 南部的amami沖繩語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54162-54162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54161-54161
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54160-54160