No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | 内容承载物理 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26205-26205 | VisualContentBearingPhysical 是 内容承载物理 的 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 1328-1328 | 有内用物体 是 内容承载物理 的 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. | 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. | Hotel.kif 1280-1280 | Brand 是 内容承载物理 的 subclass |