No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3910-3916 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2400-2400 | Case role is a subclass of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2401-2401 | Case role is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2402-2402 | Case role is a subclass of asymmetric relation |