No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2004-2004 |
BrownCoal se chama nome "brown coal" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2005-2005 |
BrownCoal se chama nome "lignite" |
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 |
|