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. | Merge.kif 12813-12813 | 制作 是 有意图过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | 发展大规模杀伤性武器 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 703-703 | 提供大规模杀伤性武器 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3276-3276 | Sculpting 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4624-4624 | 织 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20412-20412 | 模仿 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20789-20789 | 木工 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26325-26325 | Photocopying 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12824-12824 | 建筑 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12841-12841 | 制造 是 制作 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12861-12861 | 烹饪 是 制作 的 subclass |