No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13671-13671 |
中北部鸟类头语 是 鸟头语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13724-13724 |
西鸟头语 是 鸟头语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11159-11159 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11158-11158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11157-11157 |
|