No TPTP formula. May not be expressible in strict first order. | Languages.kif 12654-12654 | SinoTibetanLanguage e' uma sub-classe de LanguageFamily |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14591-14591 | ChineseLanguage e' uma sub-classe de SinoTibetanLanguage |
![]() |