No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3769-3769 | Bed est une sous-classe de Furniture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3779-3779 | KingBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3810-3810 | QueenBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3836-3836 | DoubleBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3862-3862 | SingleBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3873-3873 | BunkBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3888-3888 | MurphyBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3909-3909 | RollawayBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3921-3921 | SofaBed est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3940-3940 | Crib est une sous-classe de Bed |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3953-3953 | Hammock est une sous-classe de Bed |
![]() |