No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13678-13678 |
子類 中央鳥頭語 and 中北部鳥類頭語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13707-13707 |
子類 北鳥頭語 and 中北部鳥類頭語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40995-40995 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40994-40994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40993-40993 |
|