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	日本语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 11317-11317	恰当日语是日本语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 11344-11344	Ryukyuan语言是日本语言的 subclass
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