No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | ContentBearingPhysical e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26205-26205 | VisualContentBearingPhysical e' uma sub-classe de ContentBearingPhysical |
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 1328-1328 | Objeto Representendo Conteudo Abstrato e' uma sub-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | Sequencia Simbolica e' uma sub-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | Icone e' uma sub-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | Expressao Linguistica e' uma sub-classe de ContentBearingPhysical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1280-1280 | Brand e' uma sub-classe de ContentBearingPhysical |