No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5961-5961 |
子類 北方的caddoan語言 and caddoan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6031-6031 |
子類 南部的caddoan語言 and caddoan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12625-12625 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12624-12624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12623-12623 |
|