| 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 3779-3779 | KingBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3810-3810 | QueenBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3836-3836 | DoubleBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3862-3862 | SingleBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3873-3873 | BunkBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3888-3888 | MurphyBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3909-3909 | RollawayBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3921-3921 | SofaBed 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3940-3940 | Crib 是 床 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3953-3953 | Hammock 是 床 的 subclass |
|
|