No TPTP formula. May not be expressible in strict first order. | Cars.kif 5028-5028 | Vehicle seat is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5042-5042 | Auto seat is a subclass of vehicle seat |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5059-5059 | Boat seat is a subclass of vehicle seat |