No TPTP formula. May not be expressible in strict first order. | Languages.kif 13659-13659 | WestPapuanLanguage e' uma sub-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13665-13665 | BirdsHeadLanguage e' uma sub-classe de WestPapuanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13768-13768 | HattamLanguage e' uma sub-classe de WestPapuanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13784-13784 | KebarLanguage e' uma sub-classe de WestPapuanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13799-13799 | NorthHalmaheraLanguage e' uma sub-classe de WestPapuanLanguage |
![]() |