JapaneseGroupLanguage - Sigma Knowledge base Browser

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	Japanese group language is a subclass of spoken human language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11317-11317	Japanese proper language is a subclass of japanese group language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11344-11344	Ryukyuan language is a subclass of japanese group language
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