No TPTP formula. May not be expressible in strict first order. | Merge.kif 1316-1316 | Content bearing process is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1319-1319 | Content bearing process is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13035-13035 | Communication is a subclass of content bearing process |