No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5771-5771 |
子屬性 工業生原料 and 生產平均值 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5783-5783 |
子屬性 工業供應 and 生產平均值 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36647-36647 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36646-36646 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36645-36645 |
|