No TPTP formula. May not be expressible in strict first order. | Merge.kif 12784-12784 | 创作 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1197-1197 | 制定计划 是 创作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1225-1225 | 进行研究 是 创作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12812-12812 | 制作 是 创作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2368-2368 | OpeningNewGraphicalWindow 是 创作 的 subclass |