No TPTP formula. May not be expressible in strict first order. | Merge.kif 16116-16116 | 工程组件连接件 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1387-1387 | InternetConnection 是 工程组件连接件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1398-1398 | Cable 是 工程组件连接件 的 subclass |