No TPTP formula. May not be expressible in strict first order. | Geography.kif 642-642 | Binary relation extended to quantities is a subclass of relation extended to quantities |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 643-643 | Binary relation extended to quantities is a subclass of binary predicate |