No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4625-4625 |
Awjilah语言 是 awjila sokna 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4635-4635 |
Sawknah语言 是 awjila sokna 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9396-9396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9395-9395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9394-9394 |
|