No TPTP formula. May not be expressible in strict first order. | Merge.kif 1477-1477 | Linguagem Natural e' uma sub-classe de Linguagem Humana |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12647-12647 | LanguageFamily e' uma sub-classe de Linguagem Natural |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14594-14594 | ChineseLanguage e' uma sub-classe de Linguagem Natural |
![]() |