| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3353-3353 | 显示神器 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17120-17120 | Sign 是 显示神器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25624-25624 | Whiteboard 是 显示神器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1087-1087 | Blackboard 是 显示神器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1102-1102 | Poster 是 显示神器 的 subclass |
|
|