No TPTP formula. May not be expressible in strict first order. | Merge.kif 10850-10850 | Designing is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10851-10851 | Designing is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3290-3290 | Graphic design is a subclass of designing |