|
|
   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 | 内容承载物理 是 物理 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1280-1280 | Brand 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | 有内用物体 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1316-1316 | 内容承载过程 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1366-1366 | 图标 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1384-1384 | 语言式表达 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | 符号串 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26136-26136 | VisualContentBearingPhysical 是 内容承载物理 的 subclass |
| 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 20650-20650 | actedIn 的 2 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 21-21 | containsFormula 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1357-1357 | 包含信息 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4535-4535 | 内容等效实例 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4536-4536 | 内容等效实例 的 2 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2877-2877 | experimentUpdate 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2898-2898 | finalExperimentReport 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1486-1486 | language 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 524-524 | recordForAgreement 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4562-4562 | 包含内容实例 的 1 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4563-4563 | 包含内容实例 的 2 数量 是 内容承载物理 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3155-3155 | abbreviatedDisplayTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3123-3123 | alternativeTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3144-3144 | displayTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4479-4479 | 内容等效类 的 1 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4480-4480 | 内容等效类 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3194-3194 | groupingTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3216-3216 | misspelledTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3184-3184 | originalTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3173-3173 | referenceTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3133-3133 | sortingTitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4505-4505 | 包含内容类 的 1 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4506-4506 | 包含内容类 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3226-3226 | subtitle 的 2 数量 是 内容承载物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3105-3105 | titleInLanguage 的 2 数量 是 内容承载物理 的 subclass |
| 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 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 |
|
|
|
|