| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2394-2394 | 出口 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2395-2395 | 出口 是 机构性过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2396-2396 | 出口 是 金融交易 的 subclass |
|
|