No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6576-6576 |
阿塔卡帕语言 是 海湾语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6584-6584 |
Chitimacha语言 是 海湾语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6591-6591 |
Natchez语言 是 海湾语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6598-6598 |
图尼卡语 是 海湾语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27048-27048 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27047-27047 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27046-27046 |
|