No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2004-2004 |
名 "brown coal" and 褐煤 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2005-2005 |
名 "lignite" and 褐煤 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12137-12137 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12136-12136 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12135-12135 |
|