No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11685-11685 |
Fas语言 是 kwomtari集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11694-11694 |
Guriaso语言 是 kwomtari集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11701-11701 |
Kwomtari语言 是 kwomtari集团的语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11717-11717 |
Pyu语言 是 kwomtari集团的语言 的 instance |
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 |
|