| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3769-3769 | Bed is a subclass of furniture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3779-3779 | King-sized bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3810-3810 | Queen-sized bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3836-3836 | Full-sized bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3862-3862 | Twin-sized bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3873-3873 | Bunk bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3888-3888 | Pull-down bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3909-3909 | Rollaway bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3921-3921 | Sofa bed is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3940-3940 | Crib is a subclass of bed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3953-3953 | Hammock is a subclass of bed |
|
|