No TPTP formula. May not be expressible in strict first order. | Languages.kif 5667-5667 | AustralianLanguage e' uma sub-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5674-5674 | PamaNyunganLanguage e' uma sub-classe de AustralianLanguage |
![]() |