| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3769-3769 | 子類 床 and 家具 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3779-3779 | 子類 KingBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3810-3810 | 子類 QueenBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3836-3836 | 子類 DoubleBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3862-3862 | 子類 SingleBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3873-3873 | 子類 BunkBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3888-3888 | 子類 MurphyBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3909-3909 | 子類 RollawayBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3921-3921 | 子類 SofaBed and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3940-3940 | 子類 Crib and 床 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3953-3953 | 子類 Hammock and 床 |
|
|