No TPTP formula. May not be expressible in strict first order. | Languages.kif 6126-6126 | ChapacuraWanhamLanguage e' uma sub-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6132-6132 | GuaporeLanguage e' uma sub-classe de ChapacuraWanhamLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6159-6159 | MadeiraLanguage e' uma sub-classe de ChapacuraWanhamLanguage |
![]() |