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