No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3769-3769 | Bed e' uma sub-classe de Furniture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3779-3779 | KingBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3810-3810 | QueenBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3836-3836 | DoubleBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3862-3862 | SingleBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3873-3873 | BunkBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3888-3888 | MurphyBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3909-3909 | RollawayBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3921-3921 | SofaBed e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3940-3940 | Crib e' uma sub-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3953-3953 | Hammock e' uma sub-classe de Bed |