No TPTP formula. May not be expressible in strict first order. | Merge.kif 12863-12863 | 制造 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 696-696 | 储存大规模杀伤性武器 是 制造 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12867-12867 | 出版 是 制造 的 subclass |
![]() |