No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | 子類 內容承載物理 and Physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26193-26193 | 子類 VisualContentBearingPhysical and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1316-1316 | 子類 內容承載過程 and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1328-1328 | 子類 ContentBearingObject and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | 子類 SymbolicString and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1379-1379 | 子類 Icon and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | 子類 LinguisticExpression and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1280-1280 | 子類 Brand and 內容承載物理 |