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