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. | Dining.kif 835-835 | BoosterChair e' uma sub-classe de Chair |
![]() |