No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11685-11685 |
例 fas語言 and kwomtari集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11694-11694 |
例 guriaso語言 and kwomtari集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11701-11701 |
例 kwomtari語言 and kwomtari集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11717-11717 |
例 pyu語言 and kwomtari集團的語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32947-32947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32946-32946 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32945-32945 |
|