No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2813-2813 |
例 chavacano語言 and 基於西班牙語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2835-2835 |
例 palenquero語言 and 基於西班牙語的克里奧爾語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54438-54438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54437-54437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54436-54436 |
|