No TPTP formula. May not be expressible in strict first order. | Merge.kif 2663-2663 | Temporal relation is a subclass of relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2664-2664 | Temporal relation is a subclass of inheritable relation |