| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21088-21100 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15861-15861 | 子類 ArtWork and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3096-3096 | 子類 畫的圖片 and ArtWork |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3121-3121 | 子類 牆紙 and ArtWork |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3143-3143 | 子類 雕塑 and ArtWork |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3157-3157 | 子類 草圖 and ArtWork |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3161-3161 | 子類 大學 and ArtWork |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15889-15889 | 子類 代表性的藝術作品 and ArtWork |
|
|