No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11155-11155 |
Mohawk language is an instance of mohawk oneida language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11171-11171 |
Oneida language is an instance of mohawk oneida language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38247-38247 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38246-38246 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38245-38245 |
|