| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3690-3690 | 家具 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3716-3716 | 座位 是 家具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3769-3769 | 床 是 家具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4141-4141 | 表 是 家具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4149-4149 | 抽屉柜或柜子 是 家具 的 subclass |
|
|