No TPTP formula. May not be expressible in strict first order. | Languages.kif 11144-11144 | Five nations language is a subclass of northern iroquoian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11150-11150 | Mohawk oneida language is a subclass of five nations language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11184-11184 | Seneca onondaga language is a subclass of five nations language |
![]() |