| 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 est une sous-classe de physique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1280-1280 | Brand est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | Objet exprimant un sens est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1316-1316 | ContentBearingProcess est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | Icone est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | Expression linguistique est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | Cha�ne sympbolique est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26205-26205 | VisualContentBearingPhysical est une sous-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 | Le nombre 2 argument de actedIn est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1367-1367 | Le nombre 1 argument de containsFormula est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1357-1357 | Le nombre 1 argument de containsInformation est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4549-4549 | Le nombre 1 argument de equivalentContentInstance est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4550-4550 | Le nombre 2 argument de equivalentContentInstance est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2671-2671 | Le nombre 1 argument de experimentUpdate est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2692-2692 | Le nombre 1 argument de finalExperimentReport est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1499-1499 | Le nombre 1 argument de language est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 501-501 | Le nombre 1 argument de recordForAgreement est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4576-4576 | Le nombre 1 argument de subsumesContentInstance est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4577-4577 | Le nombre 2 argument de subsumesContentInstance est une instance de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3155-3155 | Le nombre 2 argument de abbreviatedDisplayTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3123-3123 | Le nombre 2 argument de alternativeTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3144-3144 | Le nombre 2 argument de displayTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4493-4493 | Le nombre 1 argument de equivalentContentClass est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4494-4494 | Le nombre 2 argument de equivalentContentClass est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3194-3194 | Le nombre 2 argument de groupingTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3216-3216 | Le nombre 2 argument de misspelledTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3184-3184 | Le nombre 2 argument de originalTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3173-3173 | Le nombre 2 argument de referenceTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3133-3133 | Le nombre 2 argument de sortingTitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4519-4519 | Le nombre 1 argument de subsumesContentClass est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4520-4520 | Le nombre 2 argument de subsumesContentClass est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3226-3226 | Le nombre 2 argument de subtitle est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3105-3105 | Le nombre 2 argument de titleInLanguage est une sous-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 |
|
|
|
|