No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11659-11659 |
子類 百白群語言 and kiowa |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11680-11680 |
子類 kwomtari集團的語言 and kiowa |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11712-11712 |
子類 pyu組語言 and kiowa |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32581-32581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32580-32580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32579-32579 |
|