(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 | Binary relation extended to quantities is a subclass of relation extended to quantities |
(subclass BinaryRelationExtendedToQuantities BinaryPredicate) | Geography.kif 643-643 | Binary relation extended to quantities is a subclass of binary predicate |