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	JapaneseGroupLanguage e' uma sub-classe de SpokenHumanLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11317-11317	JapaneseProperLanguage e' uma sub-classe de JapaneseGroupLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11344-11344	RyukyuanLanguage e' uma sub-classe de JapaneseGroupLanguage
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