No TPTP formula. May not be expressible in strict first order. | Merge.kif 12812-12812 | Making is a subclass of creation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12813-12813 | 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 20412-20412 | Copying is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20789-20789 | Carpentry is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26325-26325 | Photocopying is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12824-12824 | Constructing is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12841-12841 | Manufacture is a subclass of making |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12861-12861 | Cooking is a subclass of making |