| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3353-3353 | 子類 顯示神器 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17119-17119 | 子類 Sign and 顯示神器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25612-25612 | 子類 Whiteboard and 顯示神器 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1087-1087 | 子類 Blackboard and 顯示神器 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1102-1102 | 子類 Poster and 顯示神器 |
|
|