No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13671-13671 |
子類 中北部鳥類頭語 and 鳥頭語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13724-13724 |
子類 西鳥頭語 and 鳥頭語言 |
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 |
|