No TPTP formula. May not be expressible in strict first order. | Merge.kif 12834-12834 | Making is a subclass of creation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12835-12835 | Making is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 686-686 | Developing weapon of mass destruction is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 703-703 | Delivering weapon of mass destruction is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3276-3276 | Sculpting is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4624-4624 | Weaving is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20411-20411 | Copying is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20788-20788 | Carpentry is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26313-26313 | Photocopying is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12846-12846 | Constructing is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12863-12863 | Manufacture is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12883-12883 | Cooking is a subclass of making |