No TPTP formula. May not be expressible in strict first order. | Merge.kif 12812-12812 | 子類 Making and Creation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12813-12813 | 子類 Making and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | 子類 發展大規模殺傷性武器 and Making |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 703-703 | 子類 提供大規模殺傷性武器 and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3276-3276 | 子類 Sculpting and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4624-4624 | 子類 織 and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20412-20412 | 子類 模仿 and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20789-20789 | 子類 木工 and Making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26325-26325 | 子類 Photocopying and Making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12824-12824 | 子類 Constructing and Making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12841-12841 | 子類 Manufacture and Making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12861-12861 | 子類 Cooking and Making |