|
|
   ContentBearingPhysical
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1637-1638 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1306-1309 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 220-222 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 261-264 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | ContentBearingPhysical e' uma sub-classe de Fisico |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1280-1280 | Brand 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 1316-1316 | ContentBearingProcess 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. | Merge.kif 1336-1336 | Sequencia Simbolica e' uma sub-classe de ContentBearingPhysical |
| 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. | domainEnglishFormat.kif 16944-16944 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16943-16943 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16942-16942 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20747-20747 | O argumento numero 2 de actedIn e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1367-1367 | O argumento numero 1 de containsFormula e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1357-1357 | O argumento numero 1 de containsInformation e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4549-4549 | O argumento numero 1 de equivalentContentInstance e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4550-4550 | O argumento numero 2 de equivalentContentInstance e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2671-2671 | O argumento numero 1 de experimentUpdate e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2692-2692 | O argumento numero 1 de finalExperimentReport e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1499-1499 | O argumento numero 1 de language e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 501-501 | O argumento numero 1 de recordForAgreement e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4576-4576 | O argumento numero 1 de subsumesContentInstance e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4577-4577 | O argumento numero 2 de subsumesContentInstance e' uma instancia de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3155-3155 | O argumento numero 2 de abbreviatedDisplayTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3123-3123 | O argumento numero 2 de alternativeTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3144-3144 | O argumento numero 2 de displayTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4493-4493 | O argumento numero 1 de equivalentContentClass e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4494-4494 | O argumento numero 2 de equivalentContentClass e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3194-3194 | O argumento numero 2 de groupingTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3216-3216 | O argumento numero 2 de misspelledTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3184-3184 | O argumento numero 2 de originalTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3173-3173 | O argumento numero 2 de referenceTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3133-3133 | O argumento numero 2 de sortingTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4519-4519 | O argumento numero 1 de subsumesContentClass e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4520-4520 | O argumento numero 2 de subsumesContentClass e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3226-3226 | O argumento numero 2 de subtitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3105-3105 | O argumento numero 2 de titleInLanguage e' uma sub-classe de ContentBearingPhysical |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12046-12062 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1311-1314 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3207-3212 |
|
| No TPTP formula. May not be expressible in strict first order. | Military.kif 32-44 |
|
|
|
|