No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | Natural substance is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3881-3881 | Magnet is a subclass of natural substance |