No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12890-12890 |
CrowLanguage e' uma instancia de MissouriValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12904-12904 |
HidatsaLanguage e' uma instancia de MissouriValleyLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38067-38067 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38066-38066 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38065-38065 |
|