No TPTP formula. May not be expressible in strict first order. | Merge.kif 3534-3534 | Relation �tendue aux quantit�es est une sous-classe de relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3535-3535 | Relation �tendue aux quantit�es est une sous-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 642-642 | BinaryRelationExtendedToQuantities est une sous-classe de relation �tendue aux quantit�es |