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 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11190-11190 | Onondaga group language is a subclass of seneca onondaga language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11208-11208 | Seneca cayuga language is a subclass of seneca onondaga language |
![]() |