![]() |
![]() ![]() ![]()
|
![]() |
|
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 1379-1379 | 图标 是 内容承载物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | 语言式表达 是 内容承载物理 的 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 26137-26137 | 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 20696-20696 | actedIn 的 2 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1367-1367 | 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 4549-4549 | 内容等效实例 的 1 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4550-4550 | 内容等效实例 的 2 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2679-2679 | experimentUpdate 的 1 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2700-2700 | finalExperimentReport 的 1 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1499-1499 | language 的 1 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Law.kif 501-501 | recordForAgreement 的 1 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4576-4576 | 包含内容实例 的 1 数量 是 内容承载物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4577-4577 | 包含内容实例 的 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 4493-4493 | 内容等效类 的 1 数量 是 内容承载物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4494-4494 | 内容等效类 的 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 4519-4519 | 包含内容类 的 1 数量 是 内容承载物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4520-4520 | 包含内容类 的 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 12016-12032 |
|
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 |
|
![]() |
![]() |