TreeView Knowledge Base Browser - JapaneseGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11311-11313
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11252-11252
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11253-11253
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10075-10075
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11251-11251
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11248-11248
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11250-11250
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11249-11249
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11310-11310	子類日本語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11317-11317	子類恰當日語 and 日本語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11344-11344	子類 ryukyuan語言 and 日本語言
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31471-31471
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31470-31470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31469-31469