No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3716-3716 | Seat est une sous-classe de Furniture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3729-3729 | Chair est une sous-classe de Seat |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3750-3750 | Sofa est une sous-classe de Seat |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7339-7339 | AuditoriumSeat est une sous-classe de Seat |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26180-26180 | Recliner est une sous-classe de Seat |
![]() |