No TPTP formula. May not be expressible in strict first order. | Merge.kif 1316-1316 | ContentBearingProcess e' uma sub-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1319-1319 | ContentBearingProcess e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13035-13035 | Communicacao e' uma sub-classe de ContentBearingProcess |