No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11144-11144 |
子類 五國語言 and 北方的iroquoian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11237-11237 |
子類 休恩語 and 北方的iroquoian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11135-11135 |
子類 laurentian語言 and 北方的iroquoian語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11256-11256 |
子類 tuscarora nottoway 語 and 北方的iroquoian語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41109-41109 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41108-41108 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41107-41107 |
|